1. APT. K. R. AND CLER~ONT PH. Two normal form theorems for CSP programs. RC 10975 IBM T. J. Watson Research Center Yorktown Heights N.Y. Feb. 1985. APT. K. R. AND CLER~ONT PH. Two normal form theorems for CSP programs. RC 10975 IBM T. J. Watson Research Center Yorktown Heights N.Y. Feb. 1985.
2. BACK R. J. R. AND KURKI-SuoNIO R. Decentralization of process nets with centralized control. Dist. Comput. 3 Springer-Verlag Berlin Germany (1989) 73-87. BACK R. J. R. AND KURKI-SuoNIO R. Decentralization of process nets with centralized control. Dist. Comput. 3 Springer-Verlag Berlin Germany (1989) 73-87.
3. Distributed snapshots
4. An example of stepwise refinement of distributed programs: quiescence detection