ACP - a universal axiom system for process specification

DSpace/Manakin Repository

ACP - a universal axiom system for process specification

Bergstra, J.A.; Klop, J.W.

(1987) CWI newsletter, volume 15, pp. 3 - 23

(Article)

Download/Full Text

Open Access version via Utrecht University Repository

ISSN: 0168-826X

Publisher: CWI

See more statistics about this item