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

• 1979
• 
  Karl R. Abrahamson:
  Modal Logic of Concurrent Nondeterministic Programs. Semantics of Concurrent Computation 1979: 21-33
• 
  Jean-Raymond Abrial, Stephen A. Schuman:
  Non-Deterministic System Specification. Semantics of Concurrent Computation 1979: 34-50
• 
  Nissim Francez:
  On Achieving Distributed Termination. Semantics of Concurrent Computation 1979: 300-315
• 
  Daniel P. Friedman, David S. Wise:
  An Approach to Fair Applicative Multiprogramming. Semantics of Concurrent Computation 1979: 203-225
• 
  Hartmann J. Genrich, Kurt Lautenbach:
  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. Semantics of Concurrent Computation 1979: 123-147
• 
  John S. Gourlay, William C. Rounds, Richard Statman:
  On Properties Preserved by Contraction of Concurrent Systems. Semantics of Concurrent Computation 1979: 51-65
• 
  Otthein Herzog:
  Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets. Semantics of Concurrent Computation 1979: 66-90
• 
  Carl Hewitt, Giuseppe Attardi, Henry Lieberman:
  Specifying and Proving Properties of Guardians for Distributed Systems. Semantics of Concurrent Computation 1979: 316-336
• 
  Ryszard Janicki:
  A Characterization of Concurrency-Like Relations. Semantics of Concurrent Computation 1979: 109-122
• 
  Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen:
  A Petri Net Definition of a System Description Language. Semantics of Concurrent Computation 1979: 348-368
• 
  Yat-Sang Kwong:
  On the Absence of Livelocks in Parallel Programs. Semantics of Concurrent Computation 1979: 172-190
• 
  Nancy A. Lynch, Michael J. Fischer:
  On Describing the Behavior and Implementation of Distributed Systems. Semantics of Concurrent Computation 1979: 147-172
• 
  Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski:
  Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. Semantics of Concurrent Computation 1979: 226-248
• 
  Gérard Memmi:
  Notion de Dualité et de Symétrie dans les Réseuaux de Pétri. Semantics of Concurrent Computation 1979: 91-108
• 
  Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel:
  Petri Nets, Event Structures and Domains. Semantics of Concurrent Computation 1979: 266-284
• 
  Amir Pnueli:
  The Temporal Semantics of Concurrent Programs. Semantics of Concurrent Computation 1979: 1-20
• 
  Jerald S. Schwartz:
  Denotational Semantics of Parallelism. Semantics of Concurrent Computation 1979: 191-202
• 
  M. W. Shields:
  Adequate Path Expressions. Semantics of Concurrent Computation 1979: 249-265
• 
  Michel Sintzoff:
  Principles for Distributing Programs. Semantics of Concurrent Computation 1979: 337-347
• 
  William W. Wadge:
  An Extensional Treatment of Dataflow Deadlock. Semantics of Concurrent Computation 1979: 285-299
• 
  Gilles Kahn:
  Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979. Lecture Notes in Computer Science 70, Springer 1979, ISBN 3-540-09511-X [contents]