scientific article

zbMath0978.68102MaRDI QIDQ2769443

Colin Stirling

Publication date: 5 February 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2030/20300379

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (18)

Differential Game Logic ⋮ \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers ⋮ Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types ⋮ A calculus and logic of resources and processes ⋮ Parity Games and Propositional Proofs ⋮ Logical characterisations, rule formats and compositionality for input-output conformance simulation ⋮ A timed semantics of Orc ⋮ Observational interpretations of hybrid dynamic logic with binders and silent transitions ⋮ Analysis of meeting protocols by formalisation, simulation, and verification ⋮ Decidability of Weak Bisimilarity for a Subset of BPA ⋮ Decidability of branching bisimulation on normed commutative context-free processes ⋮ Algebra and logic for access control ⋮ On the computational complexity of bisimulation, redux ⋮ Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences ⋮ Behavioural and abstractor specifications revisited ⋮ On modal \(\mu \)-calculus and Gödel-Löb logic ⋮ Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes ⋮ Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic

This page was built for publication: