ACP - a universal axiom system for process specification

Files

bergstra_87_acpauniversalaxiomsytem.pdf (1022.07 KB)

Publication date

1987

Authors

Bergstra, J.A.

Klop, J.W.

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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