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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.