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

• 2015
• 
  Marco Autili, Amleto Di Salle, Alexander Perucci, Massimo Tivoli:
  On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. FOCLASA 2015: 33-47
• 
  Mario Bravetti:
  Towards Dynamic Updates in Service Composition. FOCLASA 2015: 1-17
• 
  Andrea Canciani, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
  A Context-Oriented Extension of F#. FOCLASA 2015: 18-32
• 
  Asma Cherif, Abdessamad Imine:
  A Constraint-based Approach for Generating Transformation Patterns. FOCLASA 2015: 48-62
• 
  Nurulhuda A. Manaf, Sotiris Moschoyiannis, Paul J. Krause:
  Service Choreography, SBVR, and Time. FOCLASA 2015: 63-77
• 
  Javier Cámara, José Proença:
  Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. EPTCS 175, 2015 [contents]
• 
  José Proença, Massimo Tivoli:
  Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015. EPTCS 201, 2015 [contents]
• 2014
• 
  Marco Autili, Massimo Tivoli:
  Distributed Enforcement of Service Choreographies. FOCLASA 2014: 18-35
• 
  Ian Cassar, Adrian Francalanza:
  On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems. FOCLASA 2014: 54-68
• 
  Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden:
  On Distributed Density in Tuple-based Coordination Languages. FOCLASA 2014: 36-53
• 
  Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine:
  Verifying the correct composition of distributed components: Formalisation and Tool. FOCLASA 2014: 69-85
• 2012
• 
  Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe:
  A Type-Safe Model of Adaptive Object Groups. FOCLASA 2012: 1-15
• 
  Minas Charalambides, Peter Dinges, Gul Agha:
  Parameterized Concurrent Multi-Party Session Types. FOCLASA 2012: 16-30
• 
  Gabriel Ciobanu, Ross Horne:
  A Provenance Tracking Model for Data Updates. FOCLASA 2012: 31-44
• 
  M. Usman Iftikhar, Danny Weyns:
  A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System. FOCLASA 2012: 45-62
• 
  Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu:
  Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks. FOCLASA 2012: 63-78
• 
  Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença:
  A Procedure for Splitting Processes and its Application to Coordination. FOCLASA 2012: 79-96
• 
  Jasen Markovski:
  Communicating Processes with Data for Supervisory Coordination. FOCLASA 2012: 97-111
• 
  Emanuela Merelli, Nicola Paoletti, Luca Tesei:
  A multi-level model for self-adaptive systems. FOCLASA 2012: 112-126
• 
  Natallia Kokash, António Ravara:
  Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012. EPTCS 91, 2012 [contents]
• 2011
• 
  Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
  Dynamic consistency in process algebra: From Paradigm to ACP. Sci. Comput. Program. 76(8): 711-735 (2011)
• 
  Carlos Canal, Pascal Poizat, Marjan Sirjani:
  Preface. Sci. Comput. Program. 76(8): 631-632 (2011)
• 
  Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab:
  Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76(8): 681-710 (2011)
• 
  Axel van Lamsweerde:
  The humble humorous researcher: A tribute to Michel Sintzoff. Sci. Comput. Program. 76(8): 627-630 (2011)
• 
  Sun Meng, Farhad Arbab, Christel Baier:
  Synthesis of Reo circuits from scenario-based interaction specifications. Sci. Comput. Program. 76(8): 651-680 (2011)
• 
  Peter Y. H. Wong, Jeremy Gibbons:
  Formalisations and applications of BPMN. Sci. Comput. Program. 76(8): 633-650 (2011)
• 
  Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani:
  Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca. FOCLASA 2011: 1-19
• 
  Ross Horne, Vladimiro Sassone:
  A Verified Algebra for Linked Data. FOCLASA 2011: 20-33
• 
  Simon Ware, Robi Malik:
  A State-Based Characterisation of the Conflict Preorder. FOCLASA 2011: 34-48
• 
  Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari:
  Predicting global usages of resources endowed with local policies. FOCLASA 2011: 49-64

skipping 101 more matches