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

• 1993
• 
  S. Purushothaman, Amy E. Zwarico:
  NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19822-9 [contents]
• 1992
• 
  Jos C. M. Baeten:
  The Total Order Assumption. NAPAW 1992: 231-240
• 
  Bard Bloom, Robert Paige:
  Computing Ready Simulations Efficiently. NAPAW 1992: 119-134
• 
  Frank S. de Boer, J. Coenen, Rob Gerth:
  Exception Handling in Process Algebra. NAPAW 1992: 86-100
• 
  Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee:
  CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. NAPAW 1992: 65-85
• 
  Lubos Brim:
  Modal Logics in Timed Process Algebras. NAPAW 1992: 13-26
• 
  Paul C. Brown:
  Constructive Semantics. NAPAW 1992: 177-199
• 
  Rosvelter João Coelho da Costa, Jean-Pierre Courtiat:
  A Causality-based Semantics for CCS. NAPAW 1992: 200-215
• 
  Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
  Observation Trees. NAPAW 1992: 103-118
• 
  Jens Chr. Godskesen, Kim Guldstrand Larsen:
  Real-Time Calculi and Expansion Theorems. NAPAW 1992: 3-12
• 
  Damas P. Gruska, Andrea Maggiolo-Schettini:
  Process Communication Environment. NAPAW 1992: 27-40
• 
  Hans Hansson, Fredrik Orava:
  A Process Calculus with Incomparable Priorities. NAPAW 1992: 43-64
• 
  Brian J. Ross:
  A π-calculus Semantics of Logical Variables and Unification. NAPAW 1992: 216-230
• 
  Zvi Schreiber:
  Verification of Value-Passing Systems. NAPAW 1992: 135-154
• 
  Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki:
  An Extension of the Testing Method for Processes Passing Infinite Values. NAPAW 1992: 155-173