Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Logics and Bisimulation Games for Concurrency, Causality and Conflict
scientific article

    Statements

    Logics and Bisimulation Games for Concurrency, Causality and Conflict (English)
    0 references
    0 references
    31 March 2009
    0 references
    modal logic
    0 references
    temporal logic
    0 references
    bisimulation games
    0 references
    behavioural equivalences
    0 references
    concurrent systems
    0 references
    reactive systems
    0 references
    Petri nets
    0 references

    Identifiers