Sequentially constructive concurrency : A conservative extension of the synchronous model of computation

Professorship/Faculty: Foundations of Computer Science  
Author(s): Hanxleden, Reinhard von; Mendler, Michael ; Aguado, Joaquin ; Duderstadt, Björn; Fuhrmann, Insa; Motika, Christian; Mercer, Stephen; O'Brien, Owen
Title of the compilation: European Design Automation Association: 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE 2013) : Grenoble, France, 18 - 22 March 2013 ; Proceedings
Corporate Body: DATE 2013
EDAA, European Design and Automation Association
Publisher Information: Piscataway, NJ : IEEE
Year of publication: 2013
Pages: 581-586
ISBN: 978-1-4673-5071-6
Language(s): English
DOI: 10.7873/DATE.2013.128
Document Type: Conferenceobject
Year of publication: 4. December 2014