Preview
Unable to display preview. Download preview PDF.
References
R. Alur and T.A. Henzinger: A Really Temporal Logic. In 30th Annual IEEE Symp. on Foundations of Computer Science, October 1989, pp. 164–169.
R. Alur, C. Courcoubetis, and D. Dill: Model-Checking for Real-Time Systems. In Fifth Annual IEEE Symp. on Logic in Computer Science, 1990, pp. 414–425.
R. Bird. Programs and Machines. John Wiley & Sons, 1976.
N.S. Bjørner: On Formally Undecidable Propositions of Duration Calculus, Personal note, Dept. of Comp. Science, Technical University of Denmark, April 15, 1992.
Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn: A Calculus of Durations. In Information Processing Letters 40(5), 1991, pp. 269–276.
J. Halpern, B. Moszkowski, and Z. Manna: A Hardware Semantics Based on Temporal Intervals. In ICALP'83, LNCS 154, Springer-Verlag 1983, pp. 278–291.
M.R. Hansen and Zhou Chaochen: Semantics and Completeness of Duration Calculus. In J.W. deBakker, K. Huizing, W.P. de Roever, and G. Rozenberg (eds.): Real-Time: Theory in Practice, 1991, LNCS 600, Springer-Verlag 1992, pp. 209–225.
M.R. Hansen, Zhou Chaochen, and J. Staunstrup: A Real-Time Duration Semantics for Circuits. In TAU 1992 ACM/SIGDA Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton Univ., NJ, March 1992.
J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
A.P. Ravn, H. Rischel, and K.M. Hansen: Specifying and Verifying Requirements of Real-Time Systems. IEEE Transactions on Software Engineering. (To appear).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chaochen, Z., Hansen, M.R., Sestoft, P. (1993). Decidability and undecidability results for duration calculus. In: Enjalbert, P., Finkel, A., Wagner, K.W. (eds) STACS 93. STACS 1993. Lecture Notes in Computer Science, vol 665. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56503-5_8
Download citation
DOI: https://doi.org/10.1007/3-540-56503-5_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56503-1
Online ISBN: 978-3-540-47574-3
eBook Packages: Springer Book Archive