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 journal › Article › Popular

    50 Citations (Scopus)
    158 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.

    Computer Science