An Asynchronous Algebra with Multiple Clocks.

Henrik Reif Andersen, Michael Mendler

Browse the full ESOP paper archive.