Concurrency, fairness and complexity

Marta Kwiatkowska

(University of Birmingham)

We consider a connection between fairness and $\Pi_0^3$ sets of functions made recently by Darondeau, Nolte, Priese and Yoccoz, and extend their work to cater for effective asynchronous transition systems with concurrency structure represented by a Mazurkiewicz independency relation.
Tuesday 15th November 1994, 14:30
Seminar Room 322
Department of Computer Science