Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications

• Authors:

• R. De Nicola;P. Inverardi;M. Nesi

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the international workshop on Automatic verification methods for finite state systems
• Year:
• 1990