Executing temporal logic programs
Executing temporal logic programs
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
A mean value calculus of durations
A classical mind
Theoretical Computer Science - Special issue on hybrid systems
A Discipline of Programming
The VERILOG Hardware Description Language
The VERILOG Hardware Description Language
Completeness and Decidability of a Fragment of Duration Calculus with Iteration
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
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
Toward a theory of sequential hybrid programs
PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
A Common Framework for Mixed Hardware/Software Systems
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
The Semantic Challenge of Verilog HDL
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
A Denotational Semantics of Timed RSL Using Duration Calculus
RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Compositional reasoning about projected and infinite time
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Hi-index | 0.00 |
Duration Calculus (DC) [22] was introduced as a logic to specify real-time requirements of computing systems. It has been used successfully in a number of case studies. Moreover, many variants of DC were proposed to deal with various real-time systems, including communicating processes [24], sequential hybrid systems [19, 23] imperative programming languages [2,17,18,24] finite divergence [6] and liveness properties [1,25]. This paper aims to integrate those variants, and provides a logical framework for DC-based programming, and a design calculus for mixed hardware/software systems.