CONCUR 2004 - Concurrency Theory

DOI10.1007/B100113zbMath1097.68577OpenAlexW2499482941MaRDI QIDQ5311486

Antonín Kučera, Philippe Schnoebelen

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

Modal logic (including the logic of norms) (03B45) 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 (1)

Generalization strategies for the verification of infinite state systems

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