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

• 1995
• 
  S. Arun-Kumar, V. Natarajan:
  Conformance: A Precongruence close to Bisimilarity. STRICT 1995: 55-68
• 
  J. W. de Bakker:
  The Three Dimensions of Semantics. STRICT 1995: 1
• 
  Luca Bernardinello, Giorgio De Michelis, Katia Petruni, Sebastiano Vigna:
  On The Synchronic Structure of Transition Systems. STRICT 1995: 69-84
• 
  Eike Best, Raymond R. Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel:
  CALIBAN - Esprit Basic Research WG 6067. STRICT 1995: 2-31
• 
  Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz:
  An M-net Semantics of B(PN)2. STRICT 1995: 85-100
• 
  Iabelle Biermann, Brigitte Rozoy:
  Graphs for Generalized Traces. STRICT 1995: 101-115
• 
  Piotr Chrzastowski-Wachtel, Marek Raczunas:
  Orbits, half-frozen tokens and the liveness of weighted circuits. STRICT 1995: 116-128
• 
  Raymond R. Devillers, Hanna Klaudel:
  Refinement and Recursion in a High Level Petri Box Calculus. STRICT 1995: 144-159
• 
  Alessio Guglielmi:
  Sequentiality by Linear Implication and Universal Quantification. STRICT 1995: 160-174
• 
  Roland Jégou, Raoul Medina, Lhouari Nourine:
  Linear Space Algorithm for On-line Detection of Global Predicates. STRICT 1995: 175-189
• 
  Roope Kaivola:
  A Simple Decision Method for the Linear Time Mu-calculus. STRICT 1995: 190-204
• 
  Ekkart Kindler, Rolf Walter:
  Message passing mutex. STRICT 1995: 205-219
• 
  Marta Kwiatkowska, Iain C. C. Phillips:
  Possible and Guaranteed Concurrency in CSP. STRICT 1995: 220-235
• 
  Mila E. Majster-Cederbaum, Christel Baier:
  Metric completion versus ideal completion. STRICT 1995: 236-248
• 
  Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni:
  Keeping Track of the Latest Gossip in Message-Passing Systems. STRICT 1995: 249-263
• 
  Rocco De Nicola, Rosario Pugliese:
  An Observational Semantics for Linda. STRICT 1995: 129-143
• 
  Ernst-Rüdiger Olderog, Michael Schenke:
  Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications. STRICT 1995: 32-54
• 
  R. Ramanujam:
  A Local Presentation of Synchronizing Systems. STRICT 1995: 264-278
• 
  Laura Recalde, Enrique Teruel, Manuel Silva:
  On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes. STRICT 1995: 279-293
• 
  Arend Rensink:
  An Event-Based SOS for a Language with Refinement. STRICT 1995: 294-309
• 
  Karsten Schmidt:
  On the Computation of Place Invariants for Algebraic Petri Nets. STRICT 1995: 310-325
• 
  Antti Valmari:
  Failure-based Equivalences Are Faster Than Many Believe. STRICT 1995: 326-340
• 
  Walter Vogler:
  Partial Order Semantics and Weak Fairness. STRICT 1995: 341-350
• 
  Jörg Desel:
  Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995. Workshops in Computing, Springer 1995, ISBN 978-3-540-19982-3 [contents]