Abstract is missing.
- An Old-Fashioned Recipe for Real TimeMartín Abadi, Leslie Lamport. 1-27
- Verifying Automata Specifications of Probabilistic Real-time SystemsRajeev Alur, Costas Courcoubetis, David L. Dill. 28-44
- The Theory of Timed AutomataRajeev Alur, David L. Dill. 45-73
- Logics and Models of Real Time: A SurveyRajeev Alur, Thomas A. Henzinger. 74-106
- The State Operator in Real Time Process AlgebraJos C. M. Baeten, Jan A. Bergstra. 107-123
- Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary OperatorTommaso Bolognesi, Ferdinando Lucidi. 124-148
- Time in State Based Formal Description Techniques for Distributed SystemsJean-Pierre Courtiat, Michel Diaz. 149-175
- Real-Time and the Mu-Calculus (Preliminary Report)E. Allen Emerson. 176-194
- Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTREFrédéric Rocheteau, Nicolas Halbwachs. 195-208
- Semantics and Completeness of Duration CalculusMichael R. Hansen, Zhou Chaochen. 209-225
- Timed Transition SystemsThomas A. Henzinger, Zohar Manna, Amir Pnueli. 226-251
- Compositional Verification of Real-Time Systems using Extended Hoare TriplesJozef Hooman. 252-290
- Semantics of Reactive Systems in Abstract TimeCornelis Huizing, Rob Gerth. 291-314
- Problems, Promises and Performance: Some Questions for Real-time System SpecificationMathai Joseph. 315-324
- Abstraction in Real Time Process AlgebraSteven Klusener. 325-352
- (Real) Time: A Philosophical PerspectiveRon Koymans. 353-370
- Specification and Analysis of Resource-Bound Real-Time SystemsRichard Gerber, Insup Lee. 371-396
- Forward and Backward Simulations for Timing-Based SystemsNancy A. Lynch, Frits W. Vaandrager. 397-446
- From Timed to Hybrid SystemsOded Maler, Zohar Manna, Amir Pnueli. 447-484
- Coping with Implementation Dependencies in Real-Time System VerificationAloysius K. Mok. 485-501
- Validating Real-Time Systems by Executing Logic SpecificationsAngelo Morzenti. 502-525
- An Overview and Synthesis on Timed Process AlgebrasXavier Nicollin, Joseph Sifakis. 526-548
- From ATP to Timed Graphs and Hybrid SystemsXavier Nicollin, Joseph Sifakis, Sergio Yovine. 549-572
- Verification of Safety Critical Systems Using TTM/RTTLJonathan S. Ostroff. 573-602
- Predicative Specification of Timed ProcessesMichael Schenke. 603-617
- Putting Time into Proof OutlinesFred B. Schneider, Bard Bloom, Keith Marzullo. 618-639
- Timed CSP: Theory and PracticeSteve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe. 640-675
- A Specification of the Cat and Mouse ProblemWilliam G. Wood. 676-686
- Layering and Action Refinement for Timed SystemsJob Zwiers. 687-723