@techreport{AguadoMH+14, author = {Joaqu{\'i}n Aguado and Michael Mendler and Reinhard von Hanxleden and Insa Fuhrmann}, title = {Grounding Synchronous Deterministic Concurrency in Sequential Programming}, institution = {University of Bamberg, Faculty of Information Systems and Applied Computer Sciences}, type = {Technical Report}, note = {{ISSN 0937-3349}}, number = {94}, month = {August}, year = {2014}, }