Deciding observational congruence of finite-state CCS expressions by rewriting

• Authors:

• P. Inverardi;M. Nesi

• Affiliations:

• Consiglio Nazionale delle Ricerche, Pisa, Italy;Univ. of Cambridge, Cambridge, UK

• Venue:
• Theoretical Computer Science
• Year:
• 1995