Ready-trace semantics for concrete process algebra with the priority operator

J.C.M. Baeten, J.A. Bergstra, J.W. Klop

    Research output: Contribution to journalArticlePopular

    45 Citations (Scopus)
    68 Downloads (Pure)

    Fingerprint Dive into the research topics of 'Ready-trace semantics for concrete process algebra with the priority operator'. Together they form a unique fingerprint.

    Engineering & Materials Science