Publication:3150204
From MaRDI portal
zbMath1020.68061MaRDI QIDQ3150204
Sibylle Fröschle, Julian Bradfield
Publication date: 30 September 2002
68T27: Logic in artificial intelligence
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Imperfect Information in Logic and Concurrent Games, Equivalence Criteria for Compositional IF Modal Logics, A Logic for True Concurrency, Hybrid logic meets IF modal logic, Verification of finite-state machines: a distributed approach, On the computational consequences of independence in propositional logic, Local Model Checking in a Logic for True Concurrency, Logics and Bisimulation Games for Concurrency, Causality and Conflict