An algebraic specification of process algebra, including two examples

• Authors:

• S. Mauw

• Affiliations:

• -

• Venue:
• Algebraic methods: theory, tools and applications
• Year:
• 1989