Synchronisation Trees and Fairness: A Case Study

Chrysafis Hartonas, Marta Z. Kwiatkowska. Synchronisation Trees and Fairness: A Case Study. In Chris Hankin, Ian Mackie, Rajagopal Nagarajan, editors, Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994. pages 181-198, Imperial College Press, 1994.

Abstract

Abstract is missing.