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

Reinhard von Hanxleden, Michael Mendler, Joaqun Aguado, Bjrn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien

Browse the full DATE paper archive.