Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity

• Authors:

• Dusko Pavlovic

• Affiliations:

• -

• Venue:
• CTCS '95 Proceedings of the 6th International Conference on Category Theory and Computer Science
• Year:
• 1995