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

• 2023
• 
  Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
  MacroSwarm: A Field-Based Compositional Framework for Swarm Programming. COORDINATION 2023: 31-51
• 
  Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
  Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION 2023: 71-89
• 
  Valentina Castiglioni, Michele Loreti, Simone Tini:
  Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. COORDINATION 2023: 115-132
• 
  Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega:
  A Formal MDE Framework for Inter-DSL Collaboration. COORDINATION 2023: 232-249
• 
  Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti:
  Reasoning About Choreographic Programs. COORDINATION 2023: 144-162
• 
  Loïc Desgeorges, Loïc Germerie Guizouarn:
  RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. COORDINATION 2023: 135-143
• 
  Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli:
  ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala. COORDINATION 2023: 52-70
• 
  Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko:
  Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. COORDINATION 2023: 271-291
• 
  Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins:
  Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. COORDINATION 2023: 93-114
• 
  Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana:
  JoT: A Jolie Framework for Testing Microservices. COORDINATION 2023: 172-191
• 
  Cosimo Laneve, Alessandro Parenti, Giovanni Sartor:
  Legal Contracts Amending with [inline-graphic not available: see fulltext]. COORDINATION 2023: 253-270
• 
  Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida:
  Rollback Recovery in Session-Based Programming. COORDINATION 2023: 195-213
• 
  Jonah Pears, Laura Bocchi, Andy King:
  Safe Asynchronous Mixed-Choice for Timed Interactions. COORDINATION 2023: 214-231
• 
  Frank Pfenning, Klaas Pruiksma:
  Relating Message Passing and Shared Memory, Proof-Theoretically. COORDINATION 2023: 3-27
• 
  José Proença, Luc Edixhoven:
  Caos: A Reusable Scala Web Animator of Operational Semantics. COORDINATION 2023: 163-171
• 
  Sung-Shik Jongmans, Antónia Lopes:
  Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Lecture Notes in Computer Science 13908, Springer 2023, ISBN 978-3-031-35360-4 [contents]