Relating Fairness and Timing in Process Algebras

Flavio Corradini, Maria Rita Di Berardini, Walter Vogler. Relating Fairness and Timing in Process Algebras. In Roberto M. Amadio, Denis Lugiez, editors, CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. Volume 2761 of Lecture Notes in Computer Science, pages 438-452, Springer, 2003. [doi]

Abstract

Abstract is missing.