Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
The C++ programming language
Specification-oriented semantics for communicating processes
Acta Informatica
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
The algebra of timed processes, ATP: theory and application
Information and Computation
A mean value calculus of durations
A classical mind
An effective axiomatization for real time ACP
Information and Computation
The Java programming language (2nd ed.)
The Java programming language (2nd ed.)
The discrete time TOOLBUS—a software coordination architecture
Science of Computer Programming
Communication and Concurrency
An Interleaving Model for Real-Time Systems
TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
A Timed Specification Language for Concurrent Reactive Systems
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Duration Calculus of Weakly Monotonic Time
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Extended Duration Calculus for Hybrid Real-Time Systems
Hybrid Systems
Sampling Semantics of Duration Calculus
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Discrete time process algebra and the semantics of SDL
Discrete time process algebra and the semantics of SDL
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Discrete Time Process Algebra: Absolute Time, Relative Time And Parametric Time
Fundamenta Informaticae
Hi-index | 0.00 |
Duration calculus is a logical formalism designed for expressing and refining real-time requirements for systems. Timed frames are essentially transition systems meant for modeling the time-dependent behaviour of programs. We investigate the interpretation of duration calculus formulae in timed frames. We elaborate this topic from different angles and show that they agree with each other. The resulting interpretation is expected to make it generally easier to establish semantic links between duration calculus and formalisms aimed at programming. Such semantic links are prerequisites for a solid underpinning of approaches to system development that cover requirement capture through coding using both duration calculus and some formalism(s) aimed at programming.