Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele. Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. In Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020. pages 1-8, IEEE, 2020. [doi]
Abstract is missing.