Two finite specifications of a queue

• Authors:

• Marc Bezem;Alban Ponse

• Affiliations:

• Utrecht Univ., Utrecht, Netherlands;Univ. of Amsterdam, Amsterdam, Netherlands

• Venue:
• ACP '95 Proceedings from the international workshop on Algebra of communicating processes
• Year:
• 1997