Observing localities (1991)

by Gérard Boudol, Ilaria Castellani, Matthew Hennesy, Astrid Kiehn
Venue:In Proceedings MFCS’91, volume 114