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

Hanxleden, Reinhard vonReinhard vonHanxledenMendler, MichaelMichaelMendlerAguado, JoaquinJoaquinAguadoDuderstadt, BjörnBjörnDuderstadtFuhrmann, InsaInsaFuhrmannMotika, ChristianChristianMotikaMercer, StephenStephenMercerO'Brien, OwenOwenO'Brien2019-09-192014-12-042013978-1-4673-5071-6https://fis.uni-bamberg.de/handle/uniba/21189engSequentially constructive concurrency : A conservative extension of the synchronous model of computationconferenceobject10.7873/DATE.2013.128