A new mechanism for exception handling in concurrent control systems

DOI10.1016/S0947-3580(96)70033-XzbMATH Open0858.68122OpenAlexW2155563092MaRDI QIDQ1925136FDOQ1925136

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)

Cites Work

• Title not available (Why is that?)
• Communicating sequential processes
• Specification and compositional verification of real-time systems
• Exception handling

Cited In (2)

• A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling
• Title not available (Why is that?)

Uses Software

• Eiffel

   Recommendations

• Title not available (Why is that?) 👍 👎
• A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling 👍 👎
• An investigation of controls for concurrent systems based on abstract control languages 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)