1. Distributed Termination;Francez;ACM Trans. Prog. Lang. Syst.,1980
2. Synchronized distributed termination;Szymanski;IEEE Trans. Softw. Engng.,1985
3. Occam 2 Reference Manual;Inmos,1988
4. A Tutorial Introduction to Occam Programming;Pountain,1988
5. Distributed Algorithms and Protocols;Raynal,1988