Rocco De Nicola, Paola Inverardi, Monica Nesi. Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. In Joseph Sifakis, editor, Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings. Volume 407 of Lecture Notes in Computer Science, pages 54-67, Springer, 1989.
No references recorded for this publication.
No citations of this publication recorded.