Modeling timed concurrent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4137 LNCS, Issue , 2006, Pages 1-15

  Liu, Xiaojim ^a   Matsikondis, Eleftherios ^b   Lee, Edward A ^b  

^a SUN MICROSYSTEMS   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE; REAL TIME SYSTEMS; SEMANTICS; TELECOMMUNICATION NETWORKS;

HYBRID SYSTEMS MODELING; TIME-STAMPED EVENTS; TIMED CONCURRENT SYSTEMS; ZENO SIGNALS;

CONCURRENT ENGINEERING;

EID: 33749583595     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817949_1     Document Type: Conference Paper

References (25)

1. M. Abadi and L. Lamport. An old-fashioned recipe for real time. ACM Trans. Program. Lang. Syst., 16(5):1543-1571, 1994.
2. A. Arnold and M. Nivat. Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Fundamenta Informaticae, 11(2):181-205, 1980.
3. N. Aronszajn and P. Panitchpakdi. Extension of uniformly continuous transformations and hyperconvex metric spaces. Pacific Journal of Mathematics, 6(3):405-439, 1956.
4. C. Baier and M. E. Majster-Cederbaum. Denotational semantics in the cpo and metric approach. Theoretical Computer Science, 135(2):171-220, 1994.
5. C. S. Calude, S. Marcus, and L. Staiger. A topological characterization of random sequences. Information Processing Letters, 88(5):245-250, 2003.
6. J. W. de Bakker and E. P. de Vink. Denotational models for programming languages: Applications of Bariach's fixed point theorem. Topology and its Applications, 85:35-52, 1998.
7. A. Granas and J. Dugundji. Fixed Point Theory. Springer-Verlag, 2003.
8. V. Gupta, R. Jagadeesan, and P. Panangaden. Approximate reasoning for real-time probabilistic processes. In Proceedings of the First International Conference on the Quantitative Evaluation of Systems (QEST'04), pages 304-313, Sep. 2004.
9. P. Hitzler and A. K. Seda. Generalized metrics and uniquely determined logic programs. Theoretical Computer Science, 305(1-3):187-219, 2003.
10. A. Kapur. Interval and Point-Based Approaches to Hybrid Systems Verification. Ph.d., Stanford University, 1997. Uses super dense time (super-dense, superdense).
11. E. A. Lee. Modeling concurrent real-time processes using discrete events. Annals of Software Engineering, 7:25-45, 1999.
12. E. A. Lee and A. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Transactions on CAD, 17(12), 1998.
13. E. A. Lee and P. Varaiya. Structure and Interpretation of Signals and Systems. Addison Wesley, 2003.
14. E. A. Lee and H. Zheng. Operational semantics of hybrid systems. In M. Morari and L. Thiele, editors, Hybrid Systems: Computation and Control (HSCC), volume LNCS 3414, pages pp. 25-53, Zurich, Switzerland, 2005. Springer-Verlag.
15. J. Liu and E. A. Lee. On the causality of mixed-signal and hybrid models. In 6th International Workshop on Hybrid Systems: Computation and Control (HSCC '03), Prague, Czech Republic, 2003.
16. X. Liu. Semantic foundation of the tagged signal model. Phd thesis, EECS Department, University of California, December 20 2005.
17. X. Liu, E. Matsikoudis, and E. A. Lee. Modeling timed concurrent systems using generalized ultrametrics. Technical Report UCB/EECS-2006-45, EECS Department, University of California, Berkeley, May 1 2006.
18. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory and Practice, REX Workshop, pages 447-484. Springer-Verlag, 1992.
19. Z. Manna and A. Pnueli. Verifying hybrid systems. Hybrid Systems, pages 4-35, 1992.
20. H. Naundorf. Strictly causal functions have a unique fixed point. Theoretical Computer Science, 238(1-2):483-488, 2000.
21. S. Priess-Crampe and P. Ribenboim. Logic programming and ultrametric spaces. Rendiconti di Matematica, Serie VII, 19:155-176, 1999.
22. S. Priess-Crampe and P. Ribeuboim. Fixed point and attractor theorems for ultrametric spaces. Forum Mathematicum, 12:53-64, 2000.
23. G. M. Reed and A. W. Roscoe. Metric spaces as models for real-time concurrency. In 3rd Workshop on Mathematical Foundations of Programming Language Semantics, pages 331-343, London, UK, 1988.
24. F. van Breugel. Comparative semantics for a real-time programming language with integration. In TAPSOFT '91, pages 397-411, New York, NY, USA, 1991. Springer-Verlag New York, Inc.
25. R. K. Yates. Networks of real-time processes. In E. Best, editor, Proc. of the 4th Int. Conf. on Concurrency Theory (CONCUR), volume LNCS 715. Springer-Verlag, 1993.