CONCUR 2004 - Concurrency Theory

DOI10.1007/b100113zbMath1097.68582OpenAlexW2499482941MaRDI QIDQ5311477

Etienne Lozes, Luís Caires

Publication date: 23 August 2005

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

A Spatial Equational Logic for the Applied π-Calculus, Elimination of spatial connectives in static spatial logics, A spatial equational logic for the applied \(\pi \)-calculus, Decidable Extensions of Hennessy-Milner Logic