Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications

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.

Abstract

Abstract is missing.