Abstract is missing.
- Software Model Checking: The Bandera approachMatthew B. Dwyer. 3-4
- Verifying Authentication Protocol ImplementationsSteve Schneider. 5-24
- A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware ServicesCarolyn L. Talcott. 25-26
- Formal Semantics for Interacting UML subsystemsJan Jürjens. 29-43
- A Compositional Formalism for Object ViewpointsEinar Broch Johnsen, Olaf Owe. 45-60
- Interpreting ODP Viewpoint Specification: Observations from a Case StudyChris J. Taylor, Eerke Boiten, John Derrick. 61-76
- Checking Behavioural Subtypes via RefinementHeike Wehrheim. 79-93
- Behavioural Subtyping and Property Preservation for Active ObjectsNabil Hameurlain. 95-110
- A Formal Service Specification for IIOP based on ISO/IEC 14752Abhishek Singh, Jonathan Billington. 111-125
- Mobile Objects Must Move SafelySébastien Briais, Uwe Nestmann. 129-146
- A Theory of May Testing for ActorsPrasannaa Thati, Reza Ziaei, Gul Agha. 147-162
- Computer-aided Specification and Verification of Annotated Object-Oriented ProgramsFrank S. de Boer, Cees Pierik. 163-177
- Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion AlgorithmKazuhiro Ogata, Kokichi Futatsugi. 181-195
- Control Flow Analysis of Mobile Ambients with Security BoundariesChiara Braghin, Agostino Cortesi, Riccardo Focardi. 197-212
- Generating Adapters for Concurrent Component Protocol SynchronisationHeinz W. Schmidt, Ralf Reussner. 213-229
- A Feature Manager Approach to the Analysis of Component-InteractionsLynne Blair, Trevor Jones, Stephan Reiff-Marganiec. 233-248
- Supporting Collaborative DesignYanjie Wang, Chris George. 249-262
- A Visual Modeling Framework for Distributed Object ComputingGabriele Taentzer. 263-278