Synchronized Shared Memory and Procedural Abstraction : Towards a Formal Semantics of Blech

Gretz, F.F.GretzGrosch, F-J.F-J.GroschMendler, M.M.MendlerScheele, S.S.Scheele0000-0003-0787-31812026-06-152026-06-152020978-1-7281-8928-4https://fis.uni-bamberg.de/handle/uniba/112860engSynchronized Shared Memory and Procedural Abstraction : Towards a Formal Semantics of Blechconferenceobject10.1109/fdl50818.2020.9232942