On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes.

Paris C. Kanellakis, Scott A. Smolka

Browse the full PODC paper archive.