| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nurulhuda A. Manaf, Sotiris Moschoyiannis, Paul J. Krause |
Service Choreography, SBVR, and Time.  |
FOCLASA  |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Canciani, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta |
A Context-Oriented Extension of F#. |
FOCLASA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti |
Towards Dynamic Updates in Service Composition. |
FOCLASA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, José Proença (eds.) |
Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. |
FOCLASA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Asma Cherif 0001, Abdessamad Imine |
A Constraint-based Approach for Generating Transformation Patterns. |
FOCLASA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | José Proença, Massimo Tivoli (eds.) |
Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015. |
FOCLASA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Cassar, Adrian Francalanza |
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems. |
FOCLASA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Massimo Tivoli |
Distributed Enforcement of Service Choreographies. |
FOCLASA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine |
Verifying the correct composition of distributed components: Formalisation and Tool. |
FOCLASA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden |
On Distributed Density in Tuple-based Coordination Languages. |
FOCLASA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasen Markovski |
Communicating Processes with Data for Supervisory Coordination |
FOCLASA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Shik T. Q. Jongmans, Dave Clarke 0001, José Proença |
A Procedure for Splitting Processes and its Application to Coordination |
FOCLASA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Ross Horne |
A Provenance Tracking Model for Data Updates |
FOCLASA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuela Merelli, Nicola Paoletti, Luca Tesei |
A multi-level model for self-adaptive systems |
FOCLASA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Minas Charalambides, Peter Dinges, Gul Agha |
Parameterized Concurrent Multi-Party Session Types |
FOCLASA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Natallia Kokash, António Ravara (eds.) |
Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012. |
FOCLASA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joakim Bjørk, Dave Clarke 0001, Einar Broch Johnsen, Olaf Owe |
A Type-Safe Model of Adaptive Object Groups |
FOCLASA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Usman Iftikhar, Danny Weyns |
A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System |
FOCLASA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu |
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks |
FOCLASA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi 0001, António Ravara (eds.) |
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011. |
FOCLASA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Horne, Vladimiro Sassone |
A Verified Algebra for Linked Data |
FOCLASA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Proença, Dave Clarke 0001, Erik P. de Vink, Farhad Arbab |
Decoupled execution of synchronous coordination models via behavioural automata |
FOCLASA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari 0002 |
Predicting global usages of resources endowed with local policies |
FOCLASA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Ware, Robi Malik |
A State-Based Characterisation of the Conflict Preorder |
FOCLASA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Imene Ben Hafaiedh, Susanne Graf, Hammadi Khairallah |
Implementing Distributed Controllers for Systems with Priorities |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Young-Joo Moon 0001, Alexandra Silva 0001, Christian Krause 0001, Farhad Arbab |
A Compositional Semantics for Stochastic Reo Connectors |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi 0001, Gwen Salaün (eds.) |
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2010, Paris, France, 4th September 2010. |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdessamad Imine |
On Coordinating Collaborative Objects |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cubo, Ernesto Pimentel 0001, Gwen Salaün, Carlos Canal |
Handling Data-Based Concurrency in Context-Aware Service Protocols |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayleen Lacouture, Hervé Grall, Thomas Ledoux |
CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere |
Self-Recovering Sensor-Actor Networks |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Mark S. Wams, Maarten van Steen |
Simplified Distributed Programming with Micro Objects |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Mahdi Jaghoori, Tom Chothia |
Timed Automata Semantics for Analyzing Creol |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng, Farhad Arbab |
Connectors as Designs. |
FOCLASA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nima Roohi, Gwen Salaün, Seyed-Hassan Mirian-Hosseinabadi |
Analyzing Chor Specifications by Translation into FSP. |
FOCLASA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Henrio, Florian Kammüller |
Functional Active Objects: Typing and Formalisation. |
FOCLASA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Meriem Ouederni, Gwen Salaün |
Checking Protocol Compatibility using Maude. |
FOCLASA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink |
Formalizing Adaptation On-the-Fly. |
FOCLASA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Kemper |
SAT-based Verification for Timed Component Connectors. |
FOCLASA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Devesas Campos, Luís Soares Barbosa |
Implementation of an Orchestration Language as a Haskell Domain Specific Language. |
FOCLASA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab |
Automated Analysis of Reo Circuits using Symbolic Execution. |
FOCLASA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Faisal Abouzaid, John Mullins |
Model-checking Web Services Orchestrations using BP-calculus. |
FOCLASA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Marjan Sirjani (eds.) |
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2009, Rhodes, Greece, July 11, 2009 |
FOCLASA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Mirko Viroli (eds.) |
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2007, Lisbon, Portugal, September 8, 2007 |
FOCLASA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carolyn L. Talcott, Marjan Sirjani, Shangping Ren |
Comparing Three Coordination Models: Reo, ARC, and RRD. |
FOCLASA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore |
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus. |
FOCLASA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel 0001 |
A Service-Oriented Model for Embedded Peer-to-Peer Systems. |
FOCLASA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | José Proença, Dave Clarke 0001 |
Coordination Models Orc and Reo Compared. |
FOCLASA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos López Sanz, César J. Acuña, Carlos E. Cuesta, Esperanza Marcos |
Modelling of Service-Oriented Architectures with UML. |
FOCLASA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Mirko Viroli |
Preface. |
FOCLASA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Casadei, Andrea Omicini, Mirko Viroli |
Prototyping A&A ReSpecT in Maude. |
FOCLASA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Koehler 0001, Alexander Lazovik, Farhad Arbab |
Connector Rewriting with High-Level Replacement Systems. |
FOCLASA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel 0001 (eds.) |
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004 |
FOCLASA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Carlos Canal, Mirko Viroli (eds.) |
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2006, Bonn, Germany, August 31, 2006 |
FOCLASA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sascha Klüppelholz, Christel Baier |
Symbolic Model Checking for Channel-based Component Connectors. |
FOCLASA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Cristian Prisacariu |
Coordination by Timers for Channel-Based Anonymous Communications. |
FOCLASA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Chothia, Jetty Kleijn |
Q-Automata: Modelling the Resource Usage of Concurrent Components. |
FOCLASA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Casadei, Luca Gardelli, Mirko Viroli |
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case. |
FOCLASA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Köhler 0001, Heiko Rölke |
Dynamic Transition Refinement. |
FOCLASA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Antonio Barbosa, Luís Soares Barbosa |
Configurations of Web Services. |
FOCLASA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini |
Formal ReSpecT in the A&A Perspective. |
FOCLASA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Mirko Viroli |
Preface. |
FOCLASA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe, Sotiris Moschoyiannis |
Concurrent Logic and Automata Combined: A Semantics for Components. |
FOCLASA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel 0001 |
Dynamic Contextual Adaptation. |
FOCLASA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Mirko Viroli (eds.) |
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2005, San Francisco, CA, USA, August 27, 2005 |
FOCLASA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli |
A Framework for Engineering Interactions in Java-based Component Systems. |
FOCLASA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Mirko Viroli |
Preface. |
FOCLASA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi 0001, Marjan Sirjani, Farhad Arbab |
Formal Semantics and Analysis of Component Connectors in Reo. |
FOCLASA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Peschanski |
Mobile Agents in Interaction Spaces. |
FOCLASA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. |
FOCLASA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos E. Cuesta, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano |
Coordination as an Architectural Aspect. |
FOCLASA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Chothia, Dominic Duggan |
Capability-Passing Processes. |
FOCLASA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Clarke 0001, David Costa 0001, Farhad Arbab |
Connector Colouring I: Synchronisation and Context Dependency. |
FOCLASA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli |
Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres. |
FOCLASA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo |
Formalizing WSBPEL Business Processes Using Process Algebra. |
FOCLASA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Linden, Jean-Marie Jacquet |
On the Expressiveness of Timed Coordination via Shared Dataspaces. |
FOCLASA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Guidi, Roberto Lucchi, Manuel Mazzara |
A Formal Framework for Web Services Coordination. |
FOCLASA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo |
Prototype Platforms for Distributed Agreements. |
FOCLASA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Safránek |
Visual Specification of Systems with Heterogeneous Coordination Models. |
FOCLASA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel 0001 |
Preface. |
FOCLASA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | George R. Ribeiro-Justo, Ahmed Saleh 0002, Tereska Karran |
Intelligent Reconfiguration of Dynamic Distributed Components. |
FOCLASA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Andrea Omicini |
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications. |
FOCLASA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel 0001 |
Behavioural Types for Service Integration: Achievements and Challenges. |
FOCLASA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Amaro, Ernesto Pimentel 0001, Ana M. Roldán |
A Preliminary Comparative Study on the Expressive Power of Reo and Linda. |
FOCLASA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel 0001 (eds.) |
Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003 |
FOCLASA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani |
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter |
Correspondence Assertions for Process Synchronization in Concurrent Communications. |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Aiguier, Fabrice Barbier, Pascal Poizat |
A Logic with Temporal Glue for Mixed Specifications. |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Mariëlle Stoelinga |
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel 0001 |
Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Hoang Truong 0001 |
A Type System for the Safe Instantiation of Components. |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel 0001 |
On the specification of software adaptation. |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli |
Verifying Properties of Coordination by Well-Structured Transition Systems. |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Linden, Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi |
On the Expressiveness of Relative-Timed Coordination Models. |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antónia Lopes, José Luiz Fiadeiro |
Adding Mobility to Software Architectures. |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Julien 0001, Jamie Payton, Gruia-Catalin Roman |
Reasoning About Context-Awareness in the Presence of Mobility. |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronaldo Menezes, Andrea Omicini, Mirko Viroli |
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study. |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi |
Three Performance Models at Work: A Software Designer Perspective. |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license