The essence of parallel Algol.
From MaRDI portal
Publication:1400721
DOI10.1006/inco.2002.2995zbMath1053.68025OpenAlexW3182437156MaRDI QIDQ1400721
Publication date: 2002
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.2002.2995
Related Items
Full Abstraction Without Synchronization Primitives, A semantics for concurrent separation logic, Infinite trace equivalence, Unnamed Item, Strong fairness and full abstraction for communicating processes
Cites Work