Event-based Composition of Concurrent Programs - Raju Pandey; James C. Browne; The Pennsylvania State University CiteSeerX Archives (http://arthur.cs.ucdavis.edu/~pandey/Research/Papers/wlcpc94.pdf, 1993)