Title :
An exception handling mechanism for communicating sequential process and its verification rules
Author :
Banâtre, J.P. ; Issarny, V.
Author_Institution :
IRISA/INRIA, Rennes, France
Abstract :
An exception-handling mechanism for communicating sequential processes is proposed and its verification rules are detailed. The proposed mechanism is directly expressible in the embedding programming language. Consequently, a program written in the extended programming language CSP+ can be mechanically translated into one written in CSP
Keywords :
error handling; parallel languages; CSP+; communicating sequential process; embedding programming language; exception handling mechanism; verification rules; Computer languages; Performance evaluation; Signal processing; System recovery; Terminology;
Conference_Titel :
CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering
Conference_Location :
Tel-Aviv
Print_ISBN :
0-8186-2041-2
DOI :
10.1109/CMPEUR.1990.113678
