@inproceedings{AguadoMvHF14, author = {Joaqu{\'i}n Aguado and Michael Mendler and Reinhard von Hanxleden and Insa Fuhrmann}, title = {Grounding Synchronous Deterministic Concurrency in Sequential Programming}, booktitle = {Proceedings of the 23rd European Symposium on Programming (ESOP '14), LNCS 8410}, year = {2014}, pages = {229--248}, publisher = {Springer}, address = {Grenoble, France}, month = {April}, pdf = {esop14.pdf}, }