Compositional Software Synthesis of Communicating Processes.

Xiaohan Zhu, Bill Lin

Browse the full ICCD paper archive.