Refinement of atomicity in real-time concurrent systems
From MaRDI portal
Recommendations
- Towards action refinement for true concurrent real time
- scientific article; zbMATH DE number 1949613
- Atomic refinement in process description languages
- 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
Cited in
(8)- Procedures and atomicity refinement
- An action-based formal model for concurrent real-time systems
- Modelling coordinated atomic actions in timed CSP
- A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
- Liveness-Preserving Atomicity Abstraction
- An efficient secure real-time concurrency control protocol
- Transaction decomposition: Refinement of timing constraints (extended abstract)
- Refinement of Timing Constraints for Concurrent Tasks with Scheduling
This page was built for publication: Refinement of atomicity in real-time concurrent systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4534708)
