Volume 97,
22 July 2004
Proceedings of FOCLASA 2003,
the Foundations of Coordination Languages and Software Architectures,
a satellite event of CONCUR 2003
- 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
Electronic Edition (link) BibTeX
- Luca de Alfaro, Mariëlle Stoelinga:
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems.
3-23
Electronic Edition (link) BibTeX
- Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani:
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).
25-46
Electronic Edition (link) BibTeX
- Antonio Brogi, Carlos Canal, Ernesto Pimentel:
On the specification of software adaptation.
47-65
Electronic Edition (link) BibTeX
- Mirko Viroli:
Verifying Properties of Coordination by Well-Structured Transition Systems.
67-96
Electronic Edition (link) BibTeX
- Ronaldo Menezes, Andrea Omicini, Mirko Viroli:
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study.
97-124
Electronic Edition (link) BibTeX
- Isabelle Linden, Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi:
On the Expressiveness of Relative-Timed Coordination Models.
125-153
Electronic Edition (link) BibTeX
- Marc Aiguier, Fabrice Barbier, Pascal Poizat:
A Logic with Temporal Glue for Mixed Specifications.
155-174
Electronic Edition (link) BibTeX
- Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter:
Correspondence Assertions for Process Synchronization in Concurrent Communications.
175-195
Electronic Edition (link) BibTeX
- Marc Bezem, Hoang Truong:
A Type System for the Safe Instantiation of Components.
197-217
Electronic Edition (link) BibTeX
- Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
Three Performance Models at Work: A Software Designer Perspective.
219-239
Electronic Edition (link) BibTeX
- Antónia Lopes, José Luiz Fiadeiro:
Adding Mobility to Software Architectures.
241-258
Electronic Edition (link) BibTeX
- Christine Julien, Jamie Payton, Gruia-Catalin Roman:
Reasoning About Context-Awareness in the Presence of Mobility.
259-276
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:18 2009
by Michael Ley (ley@uni-trier.de)