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

• 2010
• 
  Lucia Acciai, Michele Boreale, Gianluigi Zavattaro:
  Behavioural Contracts with Request-Response Operations. COORDINATION 2010: 16-30
• 
  Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer:
  A Calculus for Boxes and Traits in a Java-Like Setting. COORDINATION 2010: 46-60
• 
  Francesco Calzolai, Michele Loreti:
  Simulation and Analysis of Distributed Systems in Klaim. COORDINATION 2010: 122-136
• 
  Andoni Lombide Carreton, Theo D'Hondt:
  A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks. COORDINATION 2010: 76-91
• 
  Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu:
  Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks. COORDINATION 2010: 107-121
• 
  Jens Chr. Godskesen:
  Observables for Mobile and Wireless Broadcasting Systems. COORDINATION 2010: 1-15
• 
  K. R. Jayaram, Patrick Th. Eugster:
  Scalable Efficient Composite Event Detection. COORDINATION 2010: 168-182
• 
  Stephanie Kemper:
  Compositional Construction of Real-Time Dataflow Networks. COORDINATION 2010: 92-106
• 
  Eline Philips, Ragnhild Van Der Straeten, Viviane Jonckers:
  NOW: A Workflow Language for Orchestration in Nomadic Networks. COORDINATION 2010: 31-45
• 
  Hubert Plociniczak, Susan Eisenbach:
  JErlang: Erlang with Joins. COORDINATION 2010: 61-75
• 
  K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster:
  Efficient Session Type Guided Distributed Interaction. COORDINATION 2010: 152-167
• 
  Somsak Vanit-Anunchai:
  Modelling Railway Interlocking Tables Using Coloured Petri Nets. COORDINATION 2010: 137-151
• 
  Dave Clarke, Gul A. Agha:
  Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture Notes in Computer Science 6116, Springer 2010, ISBN 978-3-642-13413-5 [contents]