Statecharts: A visual formalism for complex systems
Science of Computer Programming
Functional specification of time-sensitive communicating systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Higher order logic and hardware verification
Higher order logic and hardware verification
Theoretical Computer Science
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Forward and backward simulations II.: timing-based systems
Information and Computation
Toward a discipline of real-time programming
Communications of the ACM
Preemption in Concurrent Systems
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Functional Specification of Real-Time and Hybrid Systems
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
On the Semantics of Fair Parallelism
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
TIMESETS -- A New Method for Temporal Reasoning about Programs
Logic of Programs, Workshop
Problems, Promises and Performance: Some Questions for Real-time System Specification
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Proving real-time properties of programs with temporal logic
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
| Hi-index | 0.00 |
Mathematical models of the timed behaviour of system components form a hierarchy of timing concepts. This is demonstrated for systems that communicate via input and output streams. We distinguish non-timed streams, discrete streams with discrete and with continuous time, and dense streams with continuous time. We demonstrate how exchanges of the timing models during the system-development process are captured as classical abstraction steps.