Knowledge-based synthesis of distributed systems using event structures (2004)

by M Bickford, R L Constable, J Y Halpern, S Petride
Venue:LPAR, volume 3452 of LNCS