P. Inverardi;G. Levi;U. Montanari;G. N. Vallario
Olivetti DIDAU, Pisa;University of Pisa;University of Pisa;Olivetti DIDAU, Pisa
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
Concurrency, Graphs and Models