Modelling coordinated atomic actions in timed CSP

DOI10.1007/3-540-45352-0_19MaRDI QIDQ2766655zbMATH OpenFDO

Authors Simeon Veloudis, Nimal Nissanke

Publication date 17 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45352-0_19

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• An action-based formal model for concurrent real-time systems
• A framework for modelling dependable real-time distributed systems
• The theory of timed I/O automata
• Refinement of atomicity in real-time concurrent systems
• Formalization of an architectural model for exception handling coordination based on CA action concepts

Cited in

(2)

• A framework for modelling dependable real-time distributed systems
• Formalization of an architectural model for exception handling coordination based on CA action concepts

This page was built for publication: Modelling coordinated atomic actions in timed CSP

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