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
Copyright © Sat May 16 23:35:50 2009
by Michael Ley (ley@uni-trier.de)