A wide-spectrum language for object-based development of real-time systems
From MaRDI portal
Publication:1961818
DOI10.1016/S0020-0255(99)00039-0zbMath0943.68024MaRDI QIDQ1961818
Publication date: 1999
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0020-0255(99)00039-0
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
03B44: Temporal logic
Related Items
Uses Software
Cites Work
- A calculus of durations
- A specification-oriented semantics for the refinement of real-time systems
- Richer types for \(Z\)
- A wide-spectrum language for object-based development of real-time systems
- Process algebra for synchronous communication
- Recoverability of Communication Protocols--Implications of a Theoretical Study
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item