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

• 2010
• 
  Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou:
  Secure Execution of Distributed Session Programs. PLACES 2010: 1-11
• 
  Joana Campos, Vasco T. Vasconcelos:
  Channels as Objects in Concurrent Object-Oriented Programming. PLACES 2010: 12-28
• 
  Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López:
  A Logic for Choreographies. PLACES 2010: 29-43
• 
  Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
  A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering. PLACES 2010: 44-58
• 
  Thomas T. Hildebrandt, Raghava Rao Mukkamala:
  Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. PLACES 2010: 59-73
• 
  Keigo Imai, Shoji Yuen, Kiyoshi Agusa:
  Session Type Inference in Haskell. PLACES 2010: 74-91
• 
  Julien Lange, Emilio Tuosto:
  A Modular Toolkit for Distributed Interactions. PLACES 2010: 92-110
• 
  Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro:
  Types for X10 Clocks. PLACES 2010: 111-129
• 
  Kohei Honda, Alan Mycroft:
  Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010. EPTCS 69, 2010 [contents]