3. FMCO 2004: Leiden, The Netherlands

• Thomas Ball:
  A Theory of Predicate-Complete Test Coverage and Generation. 1-22
  Electronic Edition (link) BibTeX
• Luís Soares Barbosa:
  A Perspective on Component Refinement. 23-48
  Electronic Edition (link) BibTeX
• Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám:
  A Fully Abstract Semantics for UML Components. 49-69
  Electronic Edition (link) BibTeX
• Pierre Cointe, Hervé Albin-Amiot, Simon Denier:
  From (Meta) Objects to Aspects: A Java and AspectJ Point of View. 70-94
  Electronic Edition (link) BibTeX
• Rocco De Nicola, Michele Loreti:
  MoMo: A Modal Logic for Reasoning About Mobility. 95-119
  Electronic Edition (link) BibTeX
• Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
  Probabilistic Linda-Based Coordination Languages. 120-140
  Electronic Edition (link) BibTeX
• Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski:
  Games with Secure Equilibria. 141-161
  Electronic Edition (link) BibTeX
• Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen:
  Priced Timed Automata: Algorithms and Applications. 162-182
  Electronic Edition (link) BibTeX
• Zhiming Liu, Jifeng He, Xiaoshan Li:
  rCOS: Refinement of Component and Object Systems. 183-221
  Electronic Edition (link) BibTeX
• Davide Ancona, Eugenio Moggi:
  Program Generation and Components. 222-250
  Electronic Edition (link) BibTeX
• David A. Naumann:
  Assertion-Based Encapsulation, Object Invariants and Simulations. 251-273
  Electronic Edition (link) BibTeX
• Einar Broch Johnsen, Olaf Owe:
  A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. 274-295
  Electronic Edition (link) BibTeX
• Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen:
  Observability, Connectivity, and Replay in a Sequential Calculus of Classes. 296-316
  Electronic Edition (link) BibTeX
• Reinhard Wilhelm:
  Timing Analysis and Timing Predictability. 317-323
  Electronic Edition (link) BibTeX