Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. K.R. Apt and N. Francez. Modeling the distributed termination convention of CSP. ACM transactions on programming languages and systems, 6(3):370–379, July 1984.
2. J.P. Banâtre and V. Issarny. An exception handling mechanism for communicating sequential processes: Design, verification and implementation. Rapport de recherche, INRIA, 1990. En preparation.
3. R.H. Campbell and B. Randell. Error recovery in asynchronous systems. IEEE transactions on software engineering, SE-12(8):811–826, August 1986.
4. E.W. Dijkstra. Guarded commands, nondeterminacy, and formal derivation of programs. Communications of the ACM, 18(8):453–457, August 1975.
5. G. H. Gehani. Broadcasting sequential processes (bsp). IEEE transactions on software engineering, SE-10(4):343–351, July 1984.