Model checking and expressiveness for first order process algebras

• Authors:

• Ashvin Mark Dsouza

• Affiliations:

• -

• Venue:
• Model checking and expressiveness for first order process algebras
• Year:
• 1996