Explicit substitutions for \(\pi\)-congruences (Q5958613)

From MaRDI portal
scientific article; zbMATH DE number 1715642
Language Label Description Also known as
English
Explicit substitutions for \(\pi\)-congruences
scientific article; zbMATH DE number 1715642

    Statements

    Explicit substitutions for \(\pi\)-congruences (English)
    0 references
    0 references
    3 March 2002
    0 references
    calculus semantics
    0 references
    late bisimulations
    0 references
    late congruences
    0 references
    open semantics
    0 references
    CCS bisimulations
    0 references

    Identifiers