1. Two normal form theorems for CSP programs;Apt,1985
2. Real time clocks versus virtual clocks;Apt,1985
3. On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes;Bougé,1986
4. Symmetry and genericity for CSP distributed system;Bougé,1985
5. Paradigms for distributed computing;Chandy;Proc. 3rd Conf. on Foundations of Software Technology and Theory of Computer Science,1983