RTsynchronizer: language support for real-time specifications in distributed systems
暂无分享,去创建一个
[1] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[2] Niklaus Wirth,et al. Toward a discipline of real-time programming , 1977, CACM.
[3] Hideyuki Tokuda,et al. Object-oriented real-time language design: constructs for timing constraints , 1990, OOPSLA/ECOOP '90.
[4] Wolfgang A. Halang,et al. Languages: ADA? Object-Oriented? , 1991 .
[5] Thomas A. Henzinger,et al. A really temporal logic , 1989, 30th Annual Symposium on Foundations of Computer Science.
[6] Aloysius K. Mok,et al. Modechart: A Specification Language for Real-Time Systems , 1994, IEEE Trans. Software Eng..
[7] Carolyn L. Talcott,et al. Towards a Theory of Actor Computation , 1992, CONCUR.
[8] Svend Frølund,et al. Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages , 1992, ECOOP.
[9] Jan Bosch,et al. Real-Time Specification Inheritance Anomalies and Real-Time Filters , 1994, ECOOP.
[10] Denis Caromel,et al. Toward a method of object-oriented concurrent programming , 1993, CACM.
[11] Akinori Yonezawa,et al. Abstracting Object Interactions Using Composition Filters , 1993, ECOOP Workshop.
[12] Nancy A. Lynch,et al. An introduction to input/output automata , 1989 .
[13] William D. Clinger,et al. Foundations of Actor Semantics , 1981 .
[14] N. Wirth. Towards a discipline of real-time programming , 1977 .
[15] Bran Selic,et al. Real-time object-oriented modeling , 1994, Wiley professional computing.
[16] Mathai Joseph,et al. Problems, Promises and Performance: Some Questions for Real-time System Specification , 1991, REX Workshop.
[17] Dennis Kafura,et al. ACT++: Building a Concurrent C++ with Actors , 1989 .
[18] Gul A. Agha,et al. A Language Framework for Multi-Object Coordination , 1993, ECOOP.
[19] Gul A. Agha,et al. Abstraction and modularity mechanisms for concurrent computing , 1993, IEEE Parallel & Distributed Technology: Systems & Applications.
[20] Carlo Ghezzi,et al. A Unified High-Level Petri Net Formalism for Time-Critical Systems , 1991, IEEE Trans. Software Eng..
[21] Hideyuki Tokuda,et al. An object-oriented real-time programming language , 1992, Computer.
[22] B. Dasarathy,et al. Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them , 1989, IEEE Transactions on Software Engineering.
[23] R. K. Shyamasundar,et al. RT-CDL: A Real Time Design Language and Its Semantics , 1989, IFIP Congress.
[24] Gul A. Agha,et al. ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.
[25] Akinori Yonezawa,et al. Object-oriented concurrent programming in ABCL/1 , 1986, OOPSLA 1986.
[26] Carl Hewitt,et al. Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..
[27] Bran Selic,et al. Real- time object-oriented modeling wiley , 1994 .