Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Hartmann J. Genrich. Equivalence transformation of PrT-nets. In Workshop on Application and Theory of Petri Nets, pages 229–248, 1988.
P. Haudebourg, G. Revelaud, and T. Journey. Spécification du protocole de téléreport. Technical Report HR/23-2077 and HR23-1943, Electricité De France, DER, Clamart, 1989.
Robin Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.
F. Vernadat P. Azema, J.C. Lloret. Requirement analysis for communication protocols. In Workshop On Automatic Verification Methods for Finite State Systems, Grenoble-France, 1989.
U. Montanari P. Degano, R. De Nicola. A distributed operational semantics fot ccs based on condition/event systems. Technical Report 111, Instituto di Elaboratione dell 'Informazione, C.C.R, Pisa, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lloret, J.C., Azéma, P., Vernadat, F. (1991). Compositional design and verification of communication protocols, using labelled petri nets. In: Clarke, E.M., Kurshan, R.P. (eds) Computer-Aided Verification. CAV 1990. Lecture Notes in Computer Science, vol 531. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023723
Download citation
DOI: https://doi.org/10.1007/BFb0023723
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54477-7
Online ISBN: 978-3-540-38394-9
eBook Packages: Springer Book Archive