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
• 
  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