Grounding Synchronous Deterministic Concurrency in Sequential Programming






Professorship/Faculty: Foundations of Computer Science  
Author(s): Aguado, Joaquin ; Mendler, Michael ; von Hanxleden, Reinhard; Fuhrmann, Insa
Editors: Shao, Zhong
Title of the compilation: Programming languages and systems : 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings
Corporate Body: ESOP 2014
Publisher Information: Berlin [u.a.] : Springer
Year of publication: 2014
Pages: 229-248
ISBN: 978-3-642-54832-1
Series ; Volume: Lecture Notes in Computer Science ; 8410
Language(s): English
DOI: 10.1007/978-3-642-54833-8_13
Document Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/21129
Year of publication: 4. December 2014