The composition of concurrent programs
K. Mani Chandy, Stephen William Taylor · 1989
This paper describes a notation for concurrent programs called PCN for Program Composition Notation. The notation is being implemented at Caltech on multicomputers (a network of computers that communicate by sending and receiving messages). A fragment of this notation has been implemented on a data-parallel computer - the Connection Machine - by Rajive Bagrodia at UCLA. PCN is an outgrowth of research on UNITY (1) and Strand (2). The central ideas underlying PCN axe discussed next.