Analyzing divergence in bisimulation semantics (Q5370907)

From MaRDI portal
scientific article; zbMATH DE number 6794691
Language Label Description Also known as
English
Analyzing divergence in bisimulation semantics
scientific article; zbMATH DE number 6794691

    Statements

    Analyzing divergence in bisimulation semantics (English)
    0 references
    0 references
    0 references
    0 references
    20 October 2017
    0 references
    bisimulation
    0 references
    co-induction
    0 references
    concurrency
    0 references
    induction
    0 references
    specification
    0 references
    verification
    0 references

    Identifiers