Processes with multiple entries and exits modulo isomorphism and modulo bisimulation

Files

bergstra_96_process_multiple.pdf (3.46 MB)

Publication date

1996

Authors

Bergstra, J.A.

Stefanescu, G.

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

URI

https://dspace.library.uu.nl/handle/1874/13995