Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications

• Authors:

• Rocco De Nicola;Paola Inverardi;Monica Nesi

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
• Year:
• 1989