scientific article; zbMATH DE number 2020178

zbMath1038.03034MaRDI QIDQ4440827

Mads Dam

Publication date: 2003

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

zbMATH Keywords

temporal logic\(\pi\)-calculusprocess networkscompositional proof system\(\pi\)-\(\mu\)-calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44) Complexity of proofs (03F20)

Related Items (7)

Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS ⋮ A spatial logic for concurrency. II ⋮ A spatial logic for concurrency. I ⋮ Decidable Extensions of Hennessy-Milner Logic ⋮ Manipulating Trees with Hidden Labels ⋮ Coalgebraic Modal Logic Beyond Sets ⋮ A Coq Library for Verification of Concurrent Programs

This page was built for publication: