CONCUR 2003 - Concurrency Theory

DOI10.1007/B11938zbMath1274.68217OpenAlexW105220891MaRDI QIDQ5900581

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard Trefler

Publication date: 30 March 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b11938

Mathematics Subject Classification ID

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 (3)

Compositional Reasoning ⋮ Automated compositional proofs for real-time systems ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems

This page was built for publication: CONCUR 2003 - Concurrency Theory