Ready trace semantics for concrete process algebra with priority operator
DSpace/Manakin Repository
Ready trace semantics for concrete process algebra with priority operator
Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.
(1987) The Computer Journal, volume 30, issue 6, pp. 498 - 506
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0010-4620
Publisher: Cambridge University Press
See
more statistics
about this item