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]

Abstract

Abstract is missing.