Process algebra with backtracking

Files

bergstra_94_process_backtracking.pdf (2.05 MB)

Publication date

1994

Authors

Bergstra, J.A.

Ponse, A.

Wamel, J.J. van

Document Type

Article in proceedings

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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