The state operator in real time process algebra

Files

bergstra_92_state_operator.pdf (761.16 KB)

Publication date

1992

Authors

Bergstra, J.A.

Baeten, J.C.M.

Document Type

Article in proceedings

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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