Publication:5111648
From MaRDI portal
DOI10.4230/LIPIcs.CONCUR.2017.34zbMath1442.68148MaRDI QIDQ5111648
Andrzej S. Murawski, Nikos Tzevelekos
Publication date: 27 May 2020
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- A fully abstract may testing semantics for concurrent objects
- Abstraction for concurrent objects
- Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
- Logical relations for fine-grained concurrency
- Liveness-Preserving Atomicity Abstraction
- A System-Level Game Semantics
- A Game Semantics of Idealized CSP
- Parameterised Linearisability
- Verifying linearizability with hindsight
- Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency
- Foundations of Software Science and Computation Structures
- Quarantining Weakness
- Impredicative Concurrent Abstract Predicates
- A Fully Abstract Trace Semantics for General References