Synthesis of Communicating Processes from Temporal Logic Specifications | Synapse