Model-Checking Games for Fixpoint Logics with Partial Order Models (Q3184685): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W1720837145 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2760241 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model Checking Games / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics and Bisimulation Games for Concurrency, Causality and Conflict / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bisimulation from open maps / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal and temporal properties of processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3667958 / rank
 
Normal rank

Latest revision as of 01:38, 2 July 2024

scientific article
Language Label Description Also known as
English
Model-Checking Games for Fixpoint Logics with Partial Order Models
scientific article

    Statements

    Model-Checking Games for Fixpoint Logics with Partial Order Models (English)
    0 references
    0 references
    0 references
    22 October 2009
    0 references
    temporal logic
    0 references
    model-checking games
    0 references
    Hintikka game semantics
    0 references
    partial order models of concurrency
    0 references
    process algebras
    0 references

    Identifiers