Trace Simulation Semantics is not Finitely Based over BCCSP (Q5350148)

From MaRDI portal





scientific article; zbMATH DE number 6766085
Language Label Description Also known as
English
Trace Simulation Semantics is not Finitely Based over BCCSP
scientific article; zbMATH DE number 6766085

    Statements

    Trace Simulation Semantics is not Finitely Based over BCCSP (English)
    0 references
    0 references
    0 references
    0 references
    25 August 2017
    0 references
    trace simulation preorder
    0 references
    complete axiomatizations
    0 references
    BCCSP
    0 references

    Identifiers