Synchronized Shared Memory and Black-box Procedural Abstraction : Towards a Formal Semantics of Blech
Gretz, Friedrich; Grosch, Franz-Josef; Mendler, Michael; u. a. (2024): Synchronized Shared Memory and Black-box Procedural Abstraction : Towards a Formal Semantics of Blech, in: ACM transactions on embedded computing systems : TECS, New York, NY: ACM Press, Jg. 23, Nr. 5, S. 1–45, doi: 10.1145/3571585.
