Process algebra semantics of φSDL

Files

bergstra_96_process_algebra.pdf (494.77 KB)

Publication date

1996

Authors

Bergstra, J.A.

Middelburg, C.A.

Document Type

Report

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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