Synthesis of coordination programs from linear temporal specifications

Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar. Synthesis of coordination programs from linear temporal specifications. Proceedings of the ACM on Programming Languages, 4(POPL), 2020. [doi]

@article{BansalNS20,
  title = {Synthesis of coordination programs from linear temporal specifications},
  author = {Suguman Bansal and Kedar S. Namjoshi and Yaniv Sa'ar},
  year = {2020},
  doi = {10.1145/3371122},
  url = {https://doi.org/10.1145/3371122},
  researchr = {https://researchr.org/publication/BansalNS20},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {4},
  number = {POPL},
}