Toward a Formal Semantic Framework for Deterministic Parallel Programming
From MaRDI portal
Publication:3095349
DOI10.1007/978-3-642-24100-0_43zbMath1350.68057OpenAlexW1498246297MaRDI QIDQ3095349
Publication date: 28 October 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24100-0_43
Uses Software
Cites Work