Paris C. Kanellakis Scott A. Smolka On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes. 23-38 1985 PODC db/conf/podc/podc85.html#KanellakisS85