default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd FOCLASA 2003: Marseille, France
- Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003. Electronic Notes in Theoretical Computer Science 97, Elsevier 2004 - Antonio Brogi
, Jean-Marie Jacquet, Ernesto Pimentel:
Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. 1-2 - Luca de Alfaro, Mariëlle Stoelinga:
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. 3-23 - Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani:
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). 25-46 - Antonio Brogi, Carlos Canal, Ernesto Pimentel:
On the specification of software adaptation. 47-65 - Mirko Viroli:
Verifying Properties of Coordination by Well-Structured Transition Systems. 67-96 - Ronaldo Menezes, Andrea Omicini, Mirko Viroli:
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study. 97-124 - Isabelle Linden, Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi:
On the Expressiveness of Relative-Timed Coordination Models. 125-153 - Marc Aiguier, Fabrice Barbier, Pascal Poizat:
A Logic with Temporal Glue for Mixed Specifications. 155-174 - Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter:
Correspondence Assertions for Process Synchronization in Concurrent Communications. 175-195 - Marc Bezem, Hoang Truong:
A Type System for the Safe Instantiation of Components. 197-217 - Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
Three Performance Models at Work: A Software Designer Perspective. 219-239 - Antónia Lopes, José Luiz Fiadeiro:
Adding Mobility to Software Architectures. 241-258 - Christine Julien, Jamie Payton, Gruia-Catalin Roman:
Reasoning About Context-Awareness in the Presence of Mobility. 259-276
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-11 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
