Abha Moitra Synthesis of Communicating Processes. 123-130 1983 conf/podc/1983 PODC db/conf/podc/podc83.html#Moitra83 http://doi.acm.org/10.1145/800221.806715