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]

@inproceedings{HanxledenMADFMMO13,
  title = {Sequentially constructive concurrency: a conservative extension of the synchronous model of computation},
  author = {Reinhard von Hanxleden and Michael Mendler and Joaquin Aguado and Björn Duderstadt and Insa Fuhrmann and Christian Motika and Stephen Mercer and Owen O'Brien},
  year = {2013},
  url = {http://dl.acm.org/citation.cfm?id=2485431},
  researchr = {https://researchr.org/publication/HanxledenMADFMMO13},
  cites = {0},
  citedby = {0},
  pages = {581-586},
  booktitle = {Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013},
  editor = {Enrico Macii},
  publisher = {EDA Consortium San Jose, CA, USA / ACM DL},
  isbn = {978-1-4503-2153-2},
}