A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
Corrodi, Claudio; Heußner, Alexander; Poskitt, Christopher M. (2016): A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs, in: Perdita Stevens und Andrzej Wąsowski (Hrsg.), Fundamental Approaches to Software Engineering : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings, Berlin ; Heidelberg: Springer, S. 31–48, doi: 10.1007/978-3-662-49665-7_3.
Faculty/Chair:
Author:
 ;  ; 
Editor:
 ; 
Title of the compilation:
Fundamental Approaches to Software Engineering : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings
Corporate Body:
Fundamental Approches to Software Engineering (FASE) 2016
Publisher Information:
Year of publication:
2016
Pages:
ISBN:
978-3-662-49664-0
Series ; Volume:
Lecture Notes in Computer Science ; 9633
Language:
English
DOI:
Type:
Conferenceobject
URI:
Activation date:
December 7, 2016

Question on publication

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