1. Actors;Agha,1986
2. The IWIM Model for coordination of concurrent activities;Arbab,1996
3. R.J.R. Back, On the correctness of refinement steps in program development, Ph.D. Thesis, Department of Computer Science, University of Helsinki, Helsinki, Finland, 1978. Report A–1978–4.
4. R.J.R. Back, R. Kurki-Suonio, Decentralization of process nets with centralized control, Proc. of the 2nd ACM SIGACT–SIGOPS Symp. on Principles of Distributed Computing, 1983, pp. 131–142.
5. Stepwise refinement of action systems;Back;Struct. Programming,1991