Abstract
The super-dense computation model provides an abstraction of real-time behaviour of computing systems. We present a combination of a linear temporal logic and an interval logic that uses super-dense computation and demonstrate how it can be used to specify real-time semantics and real-time properties of an OCCAM-like programming language.
The work was done when this author visited UNU/IIST.
On leave of absence from Software Institute, Beijing.
Chapter PDF
References
G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. In Science of Computer Programming 19 (2), 87–152, Elsevier, 1992.
T. Bolognesi and F. Lucidi. LOTOS-like process algebras with urgent or timed interactions. In Formal Description Techniques, IV, 249–264, North-Holland, 1992.
R. Koymans. Specifying message passing and time-critical systems with temporal logic. LNCS 651, Springer-Verlag, 1992.
Leslie Lamport. The temporal logic of actions. Technical Report 79, DEC System Research Centre, 1991.
Z. Liu, A. P. Ravn and X. Li. Duration properties of timed transition systems. Technical Report 1997/12, Leicester University, 1997.
Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems: specification. Springer-Verlag, 1991.
Z. Manna and A. Pnueli. Models of reactivity. Acta Informatica 30 (7), 609–678, Springer-Verlag, 1993.
Paritosh K. Pandya and Dang Van Hung. Duration calculus of weakly monotonic time. Technical Report No.122, UNU/IIST, 1997.
Rana Barua and Zhou Chaochen. Neighbourhood logic: NL and NL 2. Technical Report No.120, UNU/IIST, 1997.
G. M. Reed and A timed model for communicating sequential processes. In ICALP 86: Automata, Language, and Programming, LNCS 226, 314–323, Springer-Verlag, 1986.
Mahalik Swarup and Xu Qiwen. Compositional verification in duration calculus. Technical Notes, UNU/IIST, 1997.
Morten U. Sorensen, Odd E. Hansen and Hans H. Lovengreen. Combining temporal specification techniques. In Dov M. Gabbay and Hans J. Ohlbach (Eds.) Proceedings of Temporal Logic, First International Conference, ICTL’94, 1–16, Springer-Verlag, 1994.
Wang Hanpin and Xu Qiwen Infinite duration calculus with fix-point operators. Technical Notes, UNU/IIST, 1997.
Zhou Chaochen, C.A.R Hoare and A.P.Ravn. A calculus of durations. In Information Processing Letters 40 (5), 269–276, Elsevier, 1991.
Zhou Chaochen and Michael R. Hansen. An adequate first order interval logic. Technical Report No.91, UNU/IIST, 1996.
Zhou Chaochen and Michael R. Hansen. Chopping a point. In J. F. He et al (Eds.), BCS-FACS 7th Refinement Workshop, Electronic Workshops in Computing, Springer-Verlag, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Qiu, Z., Zhou, C. (1998). A Combination of Interval Logic and Linear Temporal Logic. In: Gries, D., de Roever, WP. (eds) Programming Concepts and Methods PROCOMET ’98. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35358-6_28
Download citation
DOI: https://doi.org/10.1007/978-0-387-35358-6_28
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6299-0
Online ISBN: 978-0-387-35358-6
eBook Packages: Springer Book Archive