@misc{indiciae1b70e54d93e6,
  title = {Knowledge-Based Synthesis of Distributed Systems Using Event Structures},
  author = {Mark Bickford and Robert Constable and Joseph Halpern and Sabina Petride},
  year = {2011},
  doi = {10.2168/lmcs-7(2:14)2011},
  url = {https://arxiv.org/abs/0906.4315},
  note = {Source identifier: 0906.4315}
}