Observing localities (1993)

by G Boudol, I Castellani, M Hennessy, A Kiehn
Venue:Theoretical Computer Science