Farhad Arbab

Connectors meet Choreographies

2018 · arXiv (Cornell University)

We present Cho-Reo-graphies (CR), a new language model that unites two powerful programming paradigms for concurrent software based on communicating processes: Choreographic Programming and Exogenous Coordination. In CR, programmers specify the desired communications among processes …