scientific article
From MaRDI portal
Publication:3150204
zbMath1020.68061MaRDI QIDQ3150204
Sibylle Fröschle, Julian Bradfield
Publication date: 30 September 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Verification of finite-state machines: a distributed approach ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Local Model Checking in a Logic for True Concurrency ⋮ Team bisimilarity, and its associated modal logic, for BPP nets ⋮ Imperfect Information in Logic and Concurrent Games ⋮ On the computational consequences of independence in propositional logic ⋮ A Logic for True Concurrency ⋮ Logics and Bisimulation Games for Concurrency, Causality and Conflict ⋮ A study on team bisimulation and H-team bisimulation for BPP nets ⋮ Equivalence Criteria for Compositional IF Modal Logics ⋮ Hybrid logic meets IF modal logic
