Characterizing Behavioural Congruences for Petri Nets

Mogens Nielsen, Lutz Priese, Vladimiro Sassone. Characterizing Behavioural Congruences for Petri Nets. In Insup Lee, Scott A. Smolka, editors, CONCUR 95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings. Volume 962 of Lecture Notes in Computer Science, pages 175-189, Springer, 1995.

Authors

Mogens Nielsen

This author has not been identified. Look up 'Mogens Nielsen' in Google

Lutz Priese

This author has not been identified. Look up 'Lutz Priese' in Google

Vladimiro Sassone

Identified as Vladimiro Sassone