Logics and Bisimulation Games for Concurrency, Causality and Conflict

DOI10.1007/978-3-642-00596-1_5zbMath1234.68300OpenAlexW1529088080MaRDI QIDQ3617720

Julian Gutierrez

Publication date: 31 March 2009

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:e740bb14-a5c9-4c21-84a3-1130b9f672ad

zbMATH Keywords

concurrent systemsmodal logicPetri netstemporal logicbehavioural equivalencesreactive systemsbisimulation games

Mathematics Subject Classification ID

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

Related Items (6)

Model-Checking Games for Fixpoint Logics with Partial Order Models ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Local Model Checking in a Logic for True Concurrency ⋮ Model-checking games for fixpoint logics with partial order models ⋮ Event Identifier Logic ⋮ A Logic for True Concurrency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extending separation logic with fixpoints and postponed substitution
• The decidability border of hereditary history preserving bisimilarity
• A calculus and logic of resources and processes
• A completed hierarchy of true concurrent equivalences
• Bisimulation from open maps
• Alternating-time temporal logic
• Independence and concurrent separation logic
• Algebraic laws for nondeterminism and concurrency
• CONCUR 2004 - Concurrency Theory
• Refinement of actions and equivalence notions for concurrent systems
• Modal and temporal properties of processes

This page was built for publication: Logics and Bisimulation Games for Concurrency, Causality and Conflict