Semantics and Completeness of Duration Calculus

Michael R. Hansen, Zhou Chaochen. Semantics and Completeness of Duration Calculus. In J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg, editors, Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings. Volume 600 of Lecture Notes in Computer Science, pages 209-225, Springer, 1991.

Abstract

Abstract is missing.