Model-Checking Games for Fixpoint Logics with Partial Order Models

DOI10.1007/978-3-642-04081-8_24MaRDI QIDQ3184685zbMATH OpenOpenAlexFDO

Authors Julian Gutiérrez, Julian Bradfield

Publication date 22 October 2009

Published in CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:0c1cfae1-feb8-4a87-b03b-fb31f13aaeb8

zbMATH Keywords

Hintikka game semanticsmodel-checking gamespartial order models of concurrencyprocess algebrastemporal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model-checking games for fixpoint logics with partial order models
• Concurrent logic games on partial orders
• Model Checking Games for Branching Time Logics
• scientific article; zbMATH DE number 1927566
• Games and model checking for guarded logics

Cites work

• Bisimulation from open maps
• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• Logics and Bisimulation Games for Concurrency, Causality and Conflict
• Modal and temporal properties of processes
• Modal logics and mu-calculi: An introduction
• Model Checking Games

Cited in

(11)

• Deciding global partial-order properties
• Pushdown processes: Games and model-checking
• Characterising spectra of equivalences for event structures, logically
• scientific article; zbMATH DE number 1688376 (Why is no real title available?)
• Local model checking in a logic for true concurrency
• Games and model checking for guarded logics
• Concurrent logic games on partial orders
• Hyper partial order logic
• Model-checking games for fixpoint logics with partial order models
• A logic for true concurrency
• Event identifier logic

This page was built for publication: Model-Checking Games for Fixpoint Logics with Partial Order Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184685)