Ready trace semantics for concrete process algebra with priority operator

DSpace/Manakin Repository

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

ISSN: 0010-4620

Publisher: Cambridge University Press

See more statistics about this item