Modeling concurrent real-time processes using discrete events

Annals of Software Engineering

Volumn 7, Issue 1-4, 1999, Pages 25-45

  Lee, Edward A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033465710     PISSN: 10227091     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018998524196     Document Type: Article

References (26)

1. Abramsky, S., S.J. Gay, and R. Nagarajan (1995), "Interaction Categories and the Foundations of Typed Concurrent Programming," In Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School, M. Broy, Ed., NATO ASI Series F, Springer, Berlin.
2. Alur, R. and T.A. Henzinger (1994), "Real-Time System = Discrete System + Clock Variables," Proc. of the First AMAST Workshop on Real Time, In Theories and Experiences for Real-Time System Development, T. Rus and C. Rattray, Eds., AMAST Series in Computing 2, World-Scientific, pp. 1-29.
3. Benveniste, A. (1998), "Compositional and Uniform Modeling of Hybrid Systems," to appear, IEEE Transactions on Automatic Control.
4. Benveniste, A. and G. Berry (1991), "The Synchronous Approach to Reactive and Real-Time Systems," Proceedings of the IEEE 79, 9, 1270-1282.
5. Birkhoff, G. and S. MacLane (1977), A survey of Modern Algebra, 4th ed., Macmillan, New York.
6. Broy, M. (1992), "Functional Specification of Time Sensitive Communicating Systems," In Programming and Mathematical Method, M. Broy, Ed., NATO ASI Series, Springer, Berlin.
7. Bryant, V. (1985), Metric Spaces, Cambridge University Press, Cambridge.
8. Cassandras, C. (1993), Discrete Event Systems, Modeling and Performance Analysis, Irwin, Homewood, IL.
9. Edwards, S.A. (1997), "The Specification and Execution of Heterogeneous Synchronous Reactive Systems," Ph.D. thesis, UCB/ERL M97/31, University of California, Berkeley, CA. http://ptolemy. eecs.berkeley.edu/papers/97/sedwardsThesis/.
10. Ellingson, C. and R.J. Kulpinski (1973), "Dissemination of System-Time," IEEE Transactions on Communications 23, 5, 605-624.
11. Fidge, C.J. (1991), "Logical Time in Distributed Systems," Computer 24, 8, 28-33.
12. Ho, Y.-C., Ed. (1992), Discrete Event Dynamic Systems: Analyzing Complexity and Performance in the Modern World, IEEE Press, New York.
13. Hoare, C.A.R. (1978), "Communicating Sequential Processes," Communications of the ACM 21, 8.
14. Lamport, L. (1978), "Time, Clocks, and the Ordering of Events in a Distributed System," Communications of the ACM 21, 7.
15. Lee, E.A. and A. Sangiovanni-Vincentelli (1998), "A Denotational Framework for Comparing Models of Computation," to appear in IEEE Transactions on CAD. http://ptolemy .eecs.berkeley. edu/papers/98/framework.
16. Manna, Z. and A. Pnueli (1991), The Temporal Logic of Reactive and Concurrent Systems, Springer, Berlin.
17. Mattern, F. (1989), "Virtual Time and Global States of Distributed Systems," In Parallel and Distributed Algorithms, M. Cosnard and P. Quinton, Eds., North-Holland, Amsterdam, pp. 215-226.
18. Matthews, S.G. (1994), "Partial Metric Topology," In General Topology and Its Applications, S. Andima et al., Eds., Annals of the New York Academy of Science, Vol. 728, New York Academy of Sci., pp. 183-197.
19. Matthews, S.G. (1995), "An Extensional Treatment of Lazy Dataflow Deadlock," Theoretical Computer Science 151, 195-205.
20. Mazurkiewicz, A. (1984), "Traces, Histories, Graphs: Instances of a Process Monoid," in Proc. Conf. on Mathematical Foundations of Computer Science, M.P. Chytil and V. Koubek, Eds., Lecture Notes in Computer Science, Vol. 176, Springer, New York.
21. Messerschmitt, D. G. (1990), "Synchronization in Digital System Design," IEEE Journal on Selected Areas in Communications 8, 8, 1404-1419.
22. Milner, R. (1989), Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ.
23. Pratt, V.R. (1986), "Modeling Concurrency with Partial Orders," International Journal of Parallel Programming 15, 1, 33-71.
24. Raynal, M. and M. Singhal (1996), "Logical time: Capturing Causality in Distributed Systems," Computer, 29, 2.
25. Reed, G.M and A.W. Roscoe (1987), "Metric Spaces as Models for Real-Time Concurrency," Mathematical Foundations of Programming Language Semantics, 3rd Workshop, New Orleans, Lecture Notes in Computer Science, Vol. 298, Springer, New York, pp. 331-343.
26. Yates, R.K. (1993), "Networks of Real-Time Processes," In Concur '93, Proc. of the 4th Int. Conf. on Concurrency Theory, E. Best, Ed., Lecture Notes in Computer Science, Vol. 715, Springer, New York.