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]

Authors

Suguman Bansal

This author has not been identified. Look up 'Suguman Bansal' in Google

Kedar S. Namjoshi

This author has not been identified. Look up 'Kedar S. Namjoshi' in Google

Yaniv Sa'ar

This author has not been identified. Look up 'Yaniv Sa'ar' in Google