Grounding Synchronous Deterministic Concurrency in Sequential Programming.

Joaqun Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann

Browse the full ESOP paper archive.