Time-Constrained Automata (1991)

Cached

Download Links

by Michael Merritt , Francesmary Modugno , Mark R. Tuttle
Venue:CONCUR '91: 2nd International Conference on Concurrency Theory, volume 527 of Lecture Notes in Computer Science
Citations:83 - 0 self

Documents Related by Co-Citation

35 Using Mappings to Prove Timing Properties – Nancy Lynch, Hagit Attiya - 1989
471 An introduction to input/output automata – Nancy A. Lynch, Mark R. Tuttle - 1989
1975 A theory of timed automata – Rajeev Alur - 1999
365 Hierarchical correctness proofs for distributed algorithms – Nancy A. Lynch, Mark R. Tuttle - 1987
40 Action Transducers and Timed Automata – Nancy Lynch, Frits Vandrager - 1996
211 An Old-Fashioned Recipe for Real Time – Martín Abadi, Leslie Lamport - 1993
63 Forward and backward simulations for timing-based systems – Nancy Lynch, Frits Vaandrager - 1991
79 Forward and Backward Simulations - Part II: Timing-Based Systems – Nancy Lynch, Frits Vandraager - 1995
446 The Existence of Refinement Mappings – Martín Abadi, Leslie Lamport - 1988
83 Liveness in Timed and Untimed Systems – Rainer Gawlick, Roberto Segala, Jørgen Søgaard-Andersen, Nancy Lynch - 1994
1534 Distributed Algorithms – N A Lynch - 1996
472 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
202 The Benefits of Relaxing Punctuality – Rajeev Alur, Tomás Feder, Thomas A. Henzinger - 1996
94 The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems – Constance Heitmeyer, Nancy Lynch - 1994
146 From Timed to Hybrid Systems – Oded Maler, Zohar Manna, Amir Pnueli
1497 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
224 Safety Analysis of Timing Properties in Real-Time Systems – F Jahanian, A Mok - 1986
202 Real-time logics: complexity and expressiveness – Rajeev Alur, Thomas A. Henzinger - 1993
3219 Communication and Concurrency – R Milner - 1990