- Peter Y. H. Wong, Jeremy Gibbons
:
A Relative Timed Semantics for BPMN. FOCLASA@ICALP 2008: 59-75 - Yue Yu, Shangping Ren, Carolyn L. Talcott:
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints. FOCLASA@ICALP 2008: 133-153 - Carlos Canal, Pascal Poizat, Mirko Viroli:
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2007, Lisbon, Portugal, September 8, 2007. Electronic Notes in Theoretical Computer Science 194(4), Elsevier 2008 [contents] - 2007
- Antonio Brogi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel:
A Service-Oriented Model for Embedded Peer-to-Peer Systems. FOCLASA 2007: 5-22 - Carlos Canal, Pascal Poizat, Mirko Viroli:
Preface. FOCLASA 2007: 1-3 - Matteo Casadei, Andrea Omicini, Mirko Viroli:
Prototyping A&A ReSpecT in Maude. FOCLASA 2007: 93-109 - Christian Koehler, Alexander Lazovik, Farhad Arbab:
Connector Rewriting with High-Level Replacement Systems. FOCLASA 2007: 77-92 - José Proença, Dave Clarke:
Coordination Models Orc and Reo Compared. FOCLASA 2007: 57-76 - Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore:
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus. FOCLASA 2007: 111-132 - Marcos López Sanz, César J. Acuña, Carlos E. Cuesta, Esperanza Marcos:
Modelling of Service-Oriented Architectures with UML. FOCLASA 2007: 23-37 - Carolyn L. Talcott, Marjan Sirjani, Shangping Ren:
Comparing Three Coordination Models: Reo, ARC, and RRD. FOCLASA 2007: 39-55 - Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 180(2), Elsevier 2007 [contents] - Carlos Canal, Mirko Viroli:
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2006, Bonn, Germany, August 31, 2006. Electronic Notes in Theoretical Computer Science 175(2), Elsevier 2007 [contents] - 2006
- Marco Antonio Barbosa, Luís Soares Barbosa:
Configurations of Web Services. FOCLASA 2006: 39-57 - Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel:
Dynamic Contextual Adaptation. FOCLASA 2006: 81-95 - Carlos Canal, Mirko Viroli:
Preface. FOCLASA 2006: 1-2 - Matteo Casadei, Luca Gardelli, Mirko Viroli:
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case. FOCLASA 2006: 59-80 - Tom Chothia, Jetty Kleijn:
Q-Automata: Modelling the Resource Usage of Concurrent Components. FOCLASA 2006: 153-167 - Gabriel Ciobanu, Cristian Prisacariu:
Coordination by Timers for Channel-Based Anonymous Communications. FOCLASA 2006: 3-17 - Juliana Küster Filipe, Sotiris Moschoyiannis:
Concurrent Logic and Automata Combined: A Semantics for Components. FOCLASA 2006: 135-151 - Sascha Klüppelholz, Christel Baier:
Symbolic Model Checking for Channel-based Component Connectors. FOCLASA 2006: 19-37 - Michael Köhler, Heiko Rölke:
Dynamic Transition Refinement. FOCLASA 2006: 119-134 - Andrea Omicini:
Formal ReSpecT in the A&A Perspective. FOCLASA 2006: 97-117 - Carlos Canal, Mirko Viroli:
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 154(1), Elsevier 2006 [contents] - 2005
- Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli:
Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres. FOCLASA 2005: 139-158 - Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo:
Formalizing WSBPEL Business Processes Using Process Algebra. FOCLASA 2005: 159-173 - Carlos Canal, Mirko Viroli:
Preface. FOCLASA 2005: 1-2 - Tom Chothia, Dominic Duggan:
Capability-Passing Processes. FOCLASA 2005: 3-23 - Dave Clarke, David Costa, Farhad Arbab:
Connector Colouring I: Synchronisation and Context Dependency. FOCLASA 2005: 101-119 - Carlos E. Cuesta, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano:
Coordination as an Architectural Aspect. FOCLASA 2005: 25-41
