• 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 16 matches

• 1994
• 
  J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg:
  A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings. Lecture Notes in Computer Science 803, Springer 1994, ISBN 3-540-58043-3 [contents]
• 1993
• 
  Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs:
  Data-Flow Synchronous Languages. REX School/Symposium 1993: 1-45
• 
  Jan A. Bergstra, Alban Ponse, Jos van Wamel:
  Process Algebra with Backtracking. REX School/Symposium 1993: 46-91
• 
  Gérard Boudol:
  Some Chemical Abstract Machines. REX School/Symposium 1993: 92-123
• 
  Edmund M. Clarke, Orna Grumberg, David E. Long:
  Verification Tools for Finite-State Concurrent Systems. REX School/Symposium 1993: 124-175
• 
  Uffe Engberg, Glynn Winskel:
  Linear Logic on Petri Nets. REX School/Symposium 1993: 176-229
• 
  Kurt Jensen:
  An Introduction to the Theoretical Aspects of Coloured Petri Nets. REX School/Symposium 1993: 230-272
• 
  Yonit Kesten, Zohar Manna, Amir Pnueli:
  Temporal Verification of Simulation and Refinement. REX School/Symposium 1993: 273-346
• 
  Leslie Lamport:
  Verification and Specifications of Concurrent Programs. REX School/Symposium 1993: 347-374
• 
  Nancy A. Lynch:
  Simulation Techniques for Proving Properties of Real-Time Systems. REX School/Symposium 1993: 375-424
• 
  Mogens Nielsen, Vladimiro Sassone, Glynn Winskel:
  Relationships Between Models of Concurrency. REX School/Symposium 1993: 425-476
• 
  Joachim Parrow:
  Interaction Diagrams. REX School/Symposium 1993: 477-508
• 
  Joachim Parrow, Davide Sangiorgi:
  Algebraic Theories for Name-Passing Calculi. REX School/Symposium 1993: 509-529
• 
  Jan J. M. M. Rutten, Daniele Turi:
  Initial Algebra and Final Coalgebra Semantics for Concurrency. REX School/Symposium 1993: 530-582
• 
  Wolfgang Thomas, Helmut Lescow:
  Logical Specifications of Infinite Computations. REX School/Symposium 1993: 583-621
• 
  Job Zwiers, Wil Janssen:
  Partial Order Based Design of Concurrent Systems. REX School/Symposium 1993: 622-684