• DocumentCode
    2707207
  • 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
  • fYear
    1990
  • fDate
    8-10 May 1990
  • Firstpage
    550
  • Lastpage
    551
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/CMPEUR.1990.113678
  • Filename
    113678
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2707207