ACP - a universal axiom sytem for process specification
DSpace/Manakin Repository
ACP - a universal axiom sytem for process specification
Bergstra, J.A.; Klop, J.W.
(1989) Lecture Notes in Computer Science, volume 394, pp. 447 - 463
(Article in proceedings)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0302-9743
Publisher: Springer Verlag
See
more statistics
about this item