Lucia Pomello;Carla Simone
-;-
Petri nets for modelling fault tolerant distibuted systems in a modular and incremental way
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop