Process calculi, from theory to practice: verification tools

• Authors:

• G. Boudol;V. Roy;R. de Simone;D. Vergamini

• Affiliations:

• -;-;-;-

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