CONCUR 2005 – Concurrency Theory
From MaRDI portal
Publication:5897473
DOI10.1007/11539452zbMath1134.68451OpenAlexW1737342522MaRDI QIDQ5897473
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11539452
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)
Open bisimulation, revisited ⋮ On the Expressivity of Minimal Generic Quantification ⋮ Towards verification of computation orchestration ⋮ Least and Greatest Fixed Points in Linear Logic ⋮ Mechanized metatheory revisited ⋮ A Proof Theoretic Approach to Operational Semantics
Uses Software
This page was built for publication: CONCUR 2005 – Concurrency Theory
