- José Proença
, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Decoupled execution of synchronous coordination models via behavioural automata. FOCLASA 2011: 65-79 - Mohammad Reza Mousavi, António Ravara:
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011. EPTCS 58, 2011 [contents] - 2010
- Jan-Mark S. Wams, Maarten van Steen:
Simplified Distributed Programming with Micro Objects. FOCLASA 2010: 1-15 - Mayleen Lacouture, Hervé Grall, Thomas Ledoux:
CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources. FOCLASA 2010: 16-30 - Imene Ben Hafaiedh, Susanne Graf, Hammadi Khairallah:
Implementing Distributed Controllers for Systems with Priorities. FOCLASA 2010: 31-46 - Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere:
Self-Recovering Sensor-Actor Networks. FOCLASA 2010: 47-61 - Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal:
Handling Data-Based Concurrency in Context-Aware Service Protocols. FOCLASA 2010: 62-77 - Abdessamad Imine:
On Coordinating Collaborative Objects. FOCLASA 2010: 78-92 - Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab:
A Compositional Semantics for Stochastic Reo Connectors. FOCLASA 2010: 93-107 - Mohammad Mahdi Jaghoori, Tom Chothia:
Timed Automata Semantics for Analyzing Creol. FOCLASA 2010: 108-122 - Mohammad Reza Mousavi, Gwen Salaün:
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2010, Paris, France, 4th September 2010. EPTCS 30, 2010 [contents] - 2009
- Faisal Abouzaid, John Mullins:
Model-checking Web Services Orchestrations using BP-calculus. FOCLASA 2009: 3-21 - Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink:
Formalizing Adaptation On-the-Fly. FOCLASA 2009: 23-44 - Marco Devesas Campos, Luís Soares Barbosa:
Implementation of an Orchestration Language as a Haskell Domain Specific Language. FOCLASA 2009: 45-64 - Francisco Durán, Meriem Ouederni, Gwen Salaün:
Checking Protocol Compatibility using Maude. FOCLASA 2009: 65-81 - Ludovic Henrio, Florian Kammüller:
Functional Active Objects: Typing and Formalisation. FOCLASA 2009: 83-101 - Stephanie Kemper:
SAT-based Verification for Timed Component Connectors. FOCLASA 2009: 103-118 - Sun Meng, Farhad Arbab:
Connectors as Designs. FOCLASA 2009: 119-135 - Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab:
Automated Analysis of Reo Circuits using Symbolic Execution. FOCLASA 2009: 137-158 - Nima Roohi, Gwen Salaün, Seyed-Hassan Mirian-Hosseinabadi:
Analyzing Chor Specifications by Translation into FSP. FOCLASA 2009: 159-176 - Carlos Canal, Pascal Poizat, Marjan Sirjani:
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008. Electronic Notes in Theoretical Computer Science 229(2), Elsevier 2009 [contents] - Gwen Salaün, Marjan Sirjani:
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2009, Rhodes, Greece, July 11, 2009. Electronic Notes in Theoretical Computer Science 255, Elsevier 2009 [contents] - 2008
- Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic Consistency in Process Algebra: From Paradigm to ACP. FOCLASA@ICALP 2008: 3-20 - Farhad Arbab, Sun Meng, Christel Baier:
Synthesis of Reo Circuits from Scenario-based Specifications. FOCLASA@ICALP 2008: 21-41 - Carlos Canal, Pascal Poizat, Marjan Sirjani:
Preface. FOCLASA@ICALP 2008: 1-2 - Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab:
Deconstructing Reo. FOCLASA@ICALP 2008: 43-58 - Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich:
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. FOCLASA@ICALP 2008: 77-93 - Kevin Marth, Shangping Ren:
The ARC Programming Model - Language Constructs for Coordination. FOCLASA@ICALP 2008: 95-113 - José Antonio Martín, Ernesto Pimentel:
Automatic Generation of Adaptation Contracts. FOCLASA@ICALP 2008: 115-131 - Samira Tasharofi, Marjan Sirjani:
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. FOCLASA@ICALP 2008: 155-174
