A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

Professorship/Faculty: Software Technologies  
Author(s): Corrodi, Claudio; Heußner, Alexander; Poskitt, Christopher M.
Editors: Stevens, Perdita; Wąsowski , Andrzej
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: Berlin ; Heidelberg : Springer
Year of publication: 2016
Pages: 31-48
ISBN: 978-3-662-49664-0
Series ; Volume: Lecture Notes in Computer Science ; 9633
Language(s): English
DOI: 10.1007/978-3-662-49665-7_3
Document Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/41373
Release Date: 6. December 2016