Conference item icon

Conference item

Convenient categories of processes and simulations I: modulo strong bisimilarity

Actions


Authors



Publisher:
Springer Verlag
Host title:
Category Theory and Computer Science '95
Volume:
953
Publication date:
1995-01-01


UUID:
uuid:32da432e-6759-4438-b861-af58c072efe7
Local pid:
cs:595
Deposit date:
2015-03-31

Terms of use



Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP