Synchronized Shared Memory and Black-box Procedural Abstraction : Toward a Formal Semantics of Blech

Gretz, FriedrichFriedrichGretzGrosch, Franz-JosefFranz-JosefGroschMendler, MichaelMichaelMendlerScheele, StephanStephanScheele0000-0003-0787-31812024-02-092024-02-0920241539-90871558-3465https://fis.uni-bamberg.de/handle/uniba/93448engSynchronized Shared Memory and Black-box Procedural Abstraction : Toward a Formal Semantics of Blecharticle10.1145/3571585