Electronic Notes in Theoretical Computer Science, Volume 97

Volume 97, 22 July 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