Synchronized Shared Memory and Procedural Abstraction : Towards a Formal Semantics of Blech
Gretz, F.; Grosch, F-J.; Mendler, M.; u. a. (2020): Synchronized Shared Memory and Procedural Abstraction : Towards a Formal Semantics of Blech, in: Reinhard von Hanxleden, Alain Girault, und Julien Deantoni (Hrsg.), Proceedings of the 2020 Forum on specification & Design Languages (FDL), Piscataway, New Jersey: IEEE, doi: 10.1109/fdl50818.2020.9232942.
Faculty/Chair:
Author:
 ;  ;  ; 
Title of the compilation:
Proceedings of the 2020 Forum on specification & Design Languages (FDL)
Editors:
Deantoni, Julien
Conference:
2020 Forum on specification & Design Languages (FDL), 15-17 September 2020 ; Kiel
Publisher Information:
Year of publication:
2020
Pages:
ISBN:
978-1-7281-8928-4
Language:
English
DOI:
Type:
Conferenceobject
URI:
Activation date:
June 15, 2026

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/112860