Compositional Design and Verification of Communication Protocols, Using Labelled PETRI Nets

Jean Christophe Lloret, Pierre Azéma, François Vernadat. Compositional Design and Verification of Communication Protocols, Using Labelled PETRI Nets. In Edmund M. Clarke, Robert P. Kurshan, editors, Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990. Volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 519-534, DIMACS/AMS, 1990.

Abstract

Abstract is missing.