The Beneets of Relaxing Punctuality
暂无分享,去创建一个
[1] I. G. BONNER CLAPPISON. Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.
[2] D. C. Cooper,et al. Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.
[3] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..
[4] A. Prasad Sistla,et al. The complexity of propositional linear temporal logics , 1982, STOC '82.
[5] Amir Pnueli,et al. Checking that finite state concurrent programs satisfy their linear specification , 1985, POPL.
[6] Aloysius K. Mok,et al. Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.
[7] Jonathan S. Ostroff,et al. Temporal logic for real-time systems , 1989 .
[8] Amir Pnueli,et al. Explicit clock temporal logic , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[9] Harry R. Lewis,et al. A logic of concrete time intervals , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[10] Thomas A. Henzinger,et al. Logics and Models of Real Time: A Survey , 1991, REX Workshop.
[11] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[12] E. Clarke,et al. Automatic Veriication of Nite-state Concurrent Systems Using Temporal-logic Speciications. Acm , 1993 .
[13] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[14] Thomas A. Henzinger,et al. Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..
[15] Thomas A. Henzinger,et al. A really temporal logic , 1994, JACM.
[16] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[17] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..