Abha Moitra Synthesis of Communicating Processes. 123-130 1983 PODC db/conf/podc/podc83.html#Moitra83