RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems

ACM SIGPLAN Notices

Volumn 30, Issue 11, 1995, Pages 50-59

  Ren, Shangping ^a   Agha, Gul A ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976825210     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/216633.216656     Document Type: Article

References (29)

1. G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, 1986.
2. G. Agha, S. Frolund, W. Kim, R. Panwar, A. Patterson, and D. Sturman, Abstraction and Modularity Mechanisms for Concurrent Computing, IEEE Parallel and Distributed Technology: Systems and Applications 1 (1993), no. 2, 3-14.
3. G. Agha, I. Mason, S. Smith, and C. Talcott, Towards a Theory of Actor Computation, Third International Conference on Concurrency Theory (CONCUR '92), Springer-Verlag, August 1992, LNCS, pp. 565-579.
4. G. Agha, P. Wegner, and A. Yonezawa (eds.), Research Directions in Concurrent Object-Oriented Programming, MIT Press, Cambridge, Massachussets, 1993.
5. C. Hewitt, Viewing Control Structures as Patterns of Passing Messages, Journal of Artificial Intelligence Voh 8, 1977, pp. 323-364.
6. W. Clinger, Foundation of Actor Semantics, MIT technical report, AI-TR-633.
7. A. Yonezawa, J. P. Briot and E. Shibayana, Object-Oriented Concurrent Programming in ABCL/1, September 1986, OOPSLA, pp. 258-268.
8. M. Aksit, J. Bosch, and W. Sterren Real-TimeSpecification Inheritance Anomalies and Real-Time Filters Springer-Verlag, July 1994, LNCS, pp. 386-407.
9. M. Aksit, K. Wakita, J. Bosch, L. Bergmans, and A. Yonezawa, Abstracting Object Interactions Using Composition Fillers, Springer-Verlag, July 1993, LNCS, pp. 152-1184.
10. S. Matsuoka, and A. Yonezawa, Analysis of Inheritance Anomaly in Objecl-Oriented Concurrent Programming Languages, in Research Directions in Object-Oriented Programming, MIT press, 1993
11. B. Dasarathy, Timing Constraints of Real-Time Systems: constructs for expressing them, methods for validating them, IEEE Transactions of Software Engineering, January, 1985, pp. 80-86.
12. Y. Ishika, H. Tokuda, and C.W. Mercer, Object-Oriented Real-Time Language Design: Constructs for Timing Constraints, ECOOP/OOPSLA proceedings, 1990, pp. 289-298.
13. Y. Ishikawa, T, Tokuda, and C. W. Mercer, An Object-Oriented Real-Time Programming Language, IEEE Computer, October 1992, pp. 66-73.
14. L. Y. Liu, and R. K. Shyamasundar, RT-CDL: A real-time design language and its semantics, Information Processing, 1989, pp. 21-26.
15. N. Wirth, Towards a Discipline of Real-Time Programming, Communication of ACM, 1977,vol. 20 pp. 577-583.
16. Denis Caromel, Toward a Method of Object-Oriented Concurrent Programming, Communications of the ACM 36 (1993), no. 9, 90-102.
17. S. Frolund, and G. Agha, A Language Framework for Multi-Object Coordination, Springer Verlag, July 1993, LNCS 627.
18. S. Frolund, Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages, ECOOP'92 European conference on Object-Oriented Programming (O. Lehrmann Madsen, ed.), Springer-Verlag, June 1992, LNCS 615, pp. 185-196.
19. T. Baker, W. Halang, S. Natarajan, and O. Pazy, Languages: ADA ? Object-Oriented ? IFAC Real Time Programming, Georgis, USA, 1991.
20. D. Kafura, and K. H. Lee, ACT++: Building a Concurrent C++ with Actors, JOOP, May/June 1990, pp. 25-37.
21. B. Selic, G.Cullekson, and P. T. Ward, Real-Time Object-Oriented Modeling WILEY, 1994
22. M. Joseph, Problems, promises and performance: some questions for real-lime system specification, Springer-Verlag, June 1991, LNCS 600, pp. 315-324.
23. N. Wirth, Toward a Discipline of Real-Time Programming, Communication of ACM, Vol. 20, No. 8, Auguest 1977.
24. K. Lin, J. W. S. Liu, FLEX: A Language for Real Time Systems Programming, Technical Report No. 1634, UIUC
25. F. Jahanian and A. K. Mok, Modechart: A Specification Language for Real-Time System, IEEE transactions on Software Engineering, 1988
26. C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezze, A Unified High-Level Petri Net Formalizm for Timed-Critical Systems, IEEE Transactions on Software Engineering, Vol 17, No. 2 February 1991
27. N. A. Lynch and M. R. Tuttle,An Introduction to input/output atuomata, CWI Quarterly, 2(3):219-246, September, 1989
28. R. Alur and T. A. Henzigner, A really temporal logic, Proc. 30th Annual Symp. Foundations of Computer Science, IEEE Computer Science Press, PP. 164-169, 1989
29. Z. Manna, A. Puneli, The Temporal Logic of Reactive and Concurrent Systems - Specification, Springer-Verlag, 1992