From Concurrent Multi-Clock Programs to Deterministic Asynchronous Implementations

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2011-415