Weak Bisimulation Up to Elaboration (Q5756594)

From MaRDI portal
scientific article; zbMATH DE number 5187251
Language Label Description Also known as
English
Weak Bisimulation Up to Elaboration
scientific article; zbMATH DE number 5187251

    Statements

    Weak Bisimulation Up to Elaboration (English)
    0 references
    0 references
    0 references
    4 September 2007
    0 references
    0 references
    0 references