• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 30 matches

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