scientific article; zbMATH DE number 1751888
From MaRDI portal
Publication:4534708
Recommendations
- Towards action refinement for true concurrent real time
- scientific article; zbMATH DE number 1949613
- scientific article; zbMATH DE number 176132
- 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
(6)- An efficient secure real-time concurrency control protocol
- Liveness-Preserving Atomicity Abstraction
- scientific article; zbMATH DE number 1696510 (Why is no real title available?)
- A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
- Procedures and atomicity refinement
- Refinement of Timing Constraints for Concurrent Tasks with Scheduling
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4534708)
