Process algebra with asynchronous communication mechanisms

Files

bergstra_85_process_algebra.pdf (3.06 MB)

Publication date

1985

Authors

Bergstra, J.A.

Klop, J.W.

Tucker, J.V.

Document Type

Article in proceedings

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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