A new mechanism for exception handling in concurrent control systems

DOI10.1016/S0947-3580(96)70033-XMaRDI QIDQ1925136zbMATH OpenOpenAlexFDO

Authors D. A. van Beek, Jacobus E. Rooda

Publication date 25 March 1997

Published in European Journal of Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0947-3580(96)70033-x

zbMATH Keywords

concurrent discrete-event controlconstraint monitorsCSP-like language

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• scientific article; zbMATH DE number 1693461
• A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling
• An investigation of controls for concurrent systems based on abstract control languages
• scientific article; zbMATH DE number 3903989
• scientific article; zbMATH DE number 1693547
• scientific article; zbMATH DE number 3978395

Cites work

• scientific article; zbMATH DE number 108549 (Why is no real title available?)
• Communicating sequential processes
• Exception handling
• Specification and compositional verification of real-time systems

Cited in

(2)

• A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling
• scientific article; zbMATH DE number 1693461 (Why is no real title available?)

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: A new mechanism for exception handling in concurrent control systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1925136)