Taming distributed asynchronous systems (2010)

by A Muscholl
Venue:In 21st International Conference on Concurrency Theory, CONCUR ’10