Abstract is missing.
- The MOBIUS Proof Carrying Code InfrastructureGilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie. 1-24 [doi]
- Certification Using the Mobius Base LogicLennart Beringer, Martin Hofmann, Mariela Pavlova. 25-51 [doi]
- Safety Guarantees from Explicit Resource ManagementDavid Aspinall, Patrick Maier, Ian Stark. 52-71 [doi]
- Universe Types for Topology and EncapsulationDave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers. 72-112 [doi]
- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java BytecodeElvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini. 113-132 [doi]
- Active Objects and Distributed Components: Theory and ImplementationDenis Caromel, Ludovic Henrio, Eric Madelaine. 133-152 [doi]
- Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN ProjectPeter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye. 153-178 [doi]
- Causal Semantics for the Algebra of ConnectorsSimon Bliudze, Joseph Sifakis. 179-199 [doi]
- Multiple Viewpoint Contract-Based Specification and DesignAlbert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis. 200-225 [doi]
- Coordination: Reo, Nets, and LogicDave Clarke. 226-256 [doi]
- An Object-Oriented Component Model for Heterogeneous NetsEinar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas. 257-279 [doi]
- Coordinating Object Oriented Components Using Data-Flow NetworksMohammad Mahdi Jaghoori. 280-311 [doi]