REX Workshop 1991: Mook, The Netherlands

• Martín Abadi, Leslie Lamport:
  An Old-Fashioned Recipe for Real Time. 1-27
  
• Rajeev Alur, Costas Courcoubetis, David L. Dill:
  Verifying Automata Specifications of Probabilistic Real-time Systems. 28-44
  
• Rajeev Alur, David L. Dill:
  The Theory of Timed Automata. 45-73
  
• Rajeev Alur, Thomas A. Henzinger:
  Logics and Models of Real Time: A Survey. 74-106
  
• Jos C. M. Baeten, Jan A. Bergstra:
  The State Operator in Real Time Process Algebra. 107-123
  
• Tommaso Bolognesi, Ferdinando Lucidi:
  Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator. 124-148
  
• Jean-Pierre Courtiat, Michel Diaz:
  Time in State Based Formal Description Techniques for Distributed Systems. 149-175
  
• E. Allen Emerson:
  Real-Time and the Mu-Calculus (Preliminary Report). 176-194
  
• Frédéric Rocheteau, Nicolas Halbwachs:
  Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE. 195-208
  
• Michael R. Hansen, Zhou Chaochen:
  Semantics and Completeness of Duration Calculus. 209-225
  
• Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
  Timed Transition Systems. 226-251
  
• Jozef Hooman:
  Compositional Verification of Real-Time Systems using Extended Hoare Triples. 252-290
  
• Cornelis Huizing, Rob Gerth:
  Semantics of Reactive Systems in Abstract Time. 291-314
  
• Mathai Joseph:
  Problems, Promises and Performance: Some Questions for Real-time System Specification. 315-324
  
• Steven Klusener:
  Abstraction in Real Time Process Algebra. 325-352
  
• Ron Koymans:
  (Real) Time: A Philosophical Perspective. 353-370
  
• Richard Gerber, Insup Lee:
  Specification and Analysis of Resource-Bound Real-Time Systems. 371-396
  
• Nancy A. Lynch, Frits W. Vaandrager:
  Forward and Backward Simulations for Timing-Based Systems. 397-446
  
• Oded Maler, Zohar Manna, Amir Pnueli:
  From Timed to Hybrid Systems. 447-484
  
• Aloysius K. Mok:
  Coping with Implementation Dependencies in Real-Time System Verification. 485-501
  
• Angelo Morzenti:
  Validating Real-Time Systems by Executing Logic Specifications. 502-525
  
• Xavier Nicollin, Joseph Sifakis:
  An Overview and Synthesis on Timed Process Algebras. 526-548
  
• Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
  From ATP to Timed Graphs and Hybrid Systems. 549-572
  
• Jonathan S. Ostroff:
  Verification of Safety Critical Systems Using TTM/RTTL. 573-602
  
• Michael Schenke:
  Predicative Specification of Timed Processes. 603-617
  
• Fred B. Schneider, Bard Bloom, Keith Marzullo:
  Putting Time into Proof Outlines. 618-639
  
• Steve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe:
  Timed CSP: Theory and Practice. 640-675
  
• William G. Wood:
  A Specification of the Cat and Mouse Problem. 676-686
  
• Job Zwiers:
  Layering and Action Refinement for Timed Systems. 687-723