default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDREX Workshop 1991: Mook, The Netherlands
- J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg:
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 A. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
