REX Workshop 1991: Mook, The Netherlands

J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings. Lecture Notes in Computer Science 600 Springer 1992, ISBN 3-540-55564-1 BibTeX

@proceedings{DBLP:conf/rex/1991,
  editor    = {J. W. de Bakker and
               Cornelis Huizing and
               Willem P. de Roever and
               Grzegorz Rozenberg},
  title     = {Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands,
               June 3-7, 1991, Proceedings},
  booktitle = {REX Workshop},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {600},
  year      = {1992},
  isbn      = {3-540-55564-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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