An action-based formal model for concurrent real-time systems

DOI10.1007/BF01211618zbMATH Open0874.68075OpenAlexW2039936190MaRDI QIDQ1362773FDOQ1362773

Authors Colin Fidge, Andrew J. Wellings

Publication date 7 August 1997

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01211618

zbMATH Keywords

action systemsreal-time multi-tasking systems

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Towards action refinement for true concurrent real time
• scientific article; zbMATH DE number 1751888
• Real-time specification and modeling with joint actions
• scientific article; zbMATH DE number 1301627

Cites work

• scientific article; zbMATH DE number 45142 (Why is no real title available?)
• scientific article; zbMATH DE number 50069 (Why is no real title available?)
• scientific article; zbMATH DE number 140256 (Why is no real title available?)
• scientific article; zbMATH DE number 756082 (Why is no real title available?)
• A specification-oriented semantics for the refinement of real-time systems

Cited in

(9)

• A functional model for describing and reasoning about time behaviour of computing systems
• scientific article; zbMATH DE number 1696510 (Why is no real title available?)
• A formal model of concurrent systems based on bipartite directed acyclic graph
• Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language
• Real-time specification and modeling with joint actions
• Compositional model for formal development of real-time systems design
• A mechanized semantic framework for real-time systems
• Refinement of actions in a real-time process algebra with a true concurrency model
• Refinement of actions for real-time concurrent systems with causal ambiguity

This page was built for publication: An action-based formal model for concurrent real-time systems

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