Grounding Synchronous Deterministic Concurrency in Sequential Programming

Aguado, JoaquinJoaquinAguadoMendler, MichaelMichaelMendlervon Hanxleden, ReinhardReinhardvon HanxledenFuhrmann, InsaInsaFuhrmannShao, Zhong2019-09-192014-12-042014978-3-642-54832-1https://fis.uni-bamberg.de/handle/uniba/21129engGrounding Synchronous Deterministic Concurrency in Sequential Programmingconferenceobject10.1007/978-3-642-54833-8_13