Knowledge-Based Synthesis of Distributed Systems Using Event Structures

Mark Bickford Robert L. Constable Joseph Y. Halpern Sabina Petride Knowledge-Based Synthesis of Distributed Systems Using Event Structures http://arxiv.org/abs/0906.4315 2009 CoRR abs/0906.4315 db/journals/corr/corr0906.html#abs-0906-4315 informal publication