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

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

zbMATH Keywords

action systemsreal-time multi-tasking systems

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A specification-oriented semantics for the refinement of real-time systems
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

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

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)