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
ARK identifier:

Terms of use


Views and Downloads

Views and downloads will return soon






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

TO TOP