Independence and concurrent separation logic
From MaRDI portal
Publication:3518272
DOI10.2168/LMCS-4(1:6)2008zbMath1149.68062MaRDI QIDQ3518272
Jonathan Hayman, Glynn Winskel
Publication date: 7 August 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
A verifiable low-level concurrent programming model based on colored Petri nets ⋮ Precision and the Conjunction Rule in Concurrent Separation Logic ⋮ Concurrent Separation Logic and Operational Semantics ⋮ Logics and Bisimulation Games for Concurrency, Causality and Conflict ⋮ On the relation between concurrent separation logic and concurrent Kleene algebra
