Abstract
We extend Duration Calculus to a logic which allows description of Discrete Processes where several steps of computation can occur at the same time point. The resulting logic is called Duration Calculus of Weakly Monotonic Time (WDC). It allows effects such as true synchrony and digitisation to be modelled. As an example of this, we formulate a novel semantics of Timed CSP assuming that the communication and computation take no time.
Preview
Unable to display preview. Download preview PDF.
References
R. Alur and T.A. Henzinger. Logics and models of real time: A survey. In Proc. REX workshop on real-time: Theory in Practice, volume 600 of LNCS. Springer-Verlag, 1991.
Gérard Berry and Georges Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19:87–152, 1992.
J. Davis and S. Schneider. A brief history of timed csp. Theoretical Computer Science, 138, 1995.
M.R. Hansen, P.K. Pandya, and Chaochen Zhou. Finite divergence. Theoretical Computer Science, 138:113–139, 1995.
T. Henzinger, Z. Manna, and A. Pnueli. What good are digital clocks. volume 623 of LNCS, pages 273–337. Springer-Verlag, 1992.
P.K. Pandya. Some extensions to mean-value calculus: expressiveness and decidability. In H. Kleine Buning, editor, Proc. CSL’95, volume 1092 of LNCS. Springer-Verlag, 1995.
P.K. Pandya. A compositional semantics of SL. Technical report, DeTfoRS Group, UNU/IIST, October 1997.
P.K. Pandya and Y.S. Ramakrishna. A recursive mean value calculus. Technical report, Computer Science Group, TIFR, Bombay, TCS-95/3, 1995.
P.K. Pandya and D.V. Hung. Duration Calculus of Weakly Monotonic Time. Technical Report 129, UNU/IIST, P.O. Box 3058, Macau, 1997.
G. Schneider and Qiwen Xu. Towards a formal semantics of Verilog using Duration Caculus. In proc. of FTRTFT’98, LNCS, 1998. (to appear).
Qiwen Xu and Swarup Mohalik. Compositional verification in duration calculus. Technical Report 136, UNU/IIST, P.O. Box 3058 Macau, 1997.
Chaochen Zhou, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269–276, 1991.
Chaochen Zhou and Xiaoshan Li. A mean value calculus of durations. In A Classical Mind: Essays in Honour of C.A.R. Hoare, A. W. Roscoe (ed), pages 431–451. Prentice Hall International, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pandya, P.K., Van Hung, D. (1998). Duration Calculus of Weakly Monotonic Time. In: Ravn, A.P., Rischel, H. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1998. Lecture Notes in Computer Science, vol 1486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055336
Download citation
DOI: https://doi.org/10.1007/BFb0055336
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65003-4
Online ISBN: 978-3-540-49792-9
eBook Packages: Springer Book Archive