Grounding Synchronous Deterministic Concurrency in Sequential Programming

Joaquin Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann. Grounding Synchronous Deterministic Concurrency in Sequential Programming. In Zhong Shao, editor, Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Volume 8410 of Lecture Notes in Computer Science, pages 229-248, Springer, 2014. [doi]

Authors

Joaquin Aguado

This author has not been identified. Look up 'Joaquin Aguado' in Google

Michael Mendler

This author has not been identified. Look up 'Michael Mendler' in Google

Reinhard von Hanxleden

This author has not been identified. Look up 'Reinhard von Hanxleden' in Google

Insa Fuhrmann

This author has not been identified. Look up 'Insa Fuhrmann' in Google