A multiset semantics for the pi-calculus with replication (Q672867)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A multiset semantics for the pi-calculus with replication
scientific article

    Statements

    A multiset semantics for the pi-calculus with replication (English)
    0 references
    28 February 1997
    0 references
    0 references
    0 references
    0 references
    0 references
    Petri net semantics
    0 references
    \(\pi\)-calculus with replication
    0 references
    bisimulation
    0 references
    structurally congruent processes
    0 references
    0 references
    0 references