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

• 2004
• 
  Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
  Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003. Electronic Notes in Theoretical Computer Science 97, Elsevier 2004 [contents]
• 2003
• 
  Marc Aiguier, Fabrice Barbier, Pascal Poizat:
  A Logic with Temporal Glue for Mixed Specifications. FOCLASA 2003: 155-174
• 
  Luca de Alfaro, Mariëlle Stoelinga:
  Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. FOCLASA 2003: 3-23
• 
  Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani:
  Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). FOCLASA 2003: 25-46
• 
  Marc Bezem, Hoang Truong:
  A Type System for the Safe Instantiation of Components. FOCLASA 2003: 197-217
• 
  Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter:
  Correspondence Assertions for Process Synchronization in Concurrent Communications. FOCLASA 2003: 175-195
• 
  Antonio Brogi, Carlos Canal, Ernesto Pimentel:
  On the specification of software adaptation. FOCLASA 2003: 47-65
• 
  Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
  Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. FOCLASA 2003: 1-2
• 
  Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
  Three Performance Models at Work: A Software Designer Perspective. FOCLASA 2003: 219-239
• 
  Christine Julien, Jamie Payton, Gruia-Catalin Roman:
  Reasoning About Context-Awareness in the Presence of Mobility. FOCLASA 2003: 259-276
• 
  Isabelle Linden, Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi:
  On the Expressiveness of Relative-Timed Coordination Models. FOCLASA 2003: 125-153
• 
  Antónia Lopes, José Luiz Fiadeiro:
  Adding Mobility to Software Architectures. FOCLASA 2003: 241-258
• 
  Ronaldo Menezes, Andrea Omicini, Mirko Viroli:
  On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study. FOCLASA 2003: 97-124
• 
  Mirko Viroli:
  Verifying Properties of Coordination by Well-Structured Transition Systems. FOCLASA 2003: 67-96