A Logic for True Concurrency

DOI10.1007/978-3-642-15375-4_11zbMath1287.68120OpenAlexW2570165438MaRDI QIDQ3584927

Silvia Crafa, Paolo Baldan

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15375-4_11

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Behavioural logics for configuration structures ⋮ ST-structures ⋮ Reversibility and asymmetric conflict in event structures ⋮ Event Identifier Logic ⋮ A Logic for True Concurrency

This page was built for publication: A Logic for True Concurrency