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

Reinhard von Hanxleden, Michael Mendler, Joaquin Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien. Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. In Enrico Macii, editor, Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013. pages 581-586, EDA Consortium San Jose, CA, USA / ACM DL, 2013. [doi]

Authors

Reinhard von Hanxleden

This author has not been identified. Look up 'Reinhard von Hanxleden' in Google

Michael Mendler

This author has not been identified. Look up 'Michael Mendler' in Google

Joaquin Aguado

This author has not been identified. Look up 'Joaquin Aguado' in Google

Björn Duderstadt

This author has not been identified. Look up 'Björn Duderstadt' in Google

Insa Fuhrmann

This author has not been identified. Look up 'Insa Fuhrmann' in Google

Christian Motika

This author has not been identified. Look up 'Christian Motika' in Google

Stephen Mercer

This author has not been identified. Look up 'Stephen Mercer' in Google

Owen O'Brien

This author has not been identified. Look up 'Owen O'Brien' in Google