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 
- 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
Last update Fri May 25 08:34:10 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
