Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach.

Joaqun Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden

Browse the full ESOP paper archive.