Abstract is missing.
- Reasoning about Histories in Object-based Distributed SystemsFrank S. de Boer.
- Mobile NetsNadia Busi.
- Modular Reasoning for Actor Specification DiagramsScott F. Smith, Carolyn L. Talcott.
- SDL in Rigorus Object-Oriented Analysis (Short Paper)Robert G. Clark, Ana M. D. Moreira.
- Foundations for Wide-Area Systems (Tutorial)Luca Cardelli.
- Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper)Tommaso Bolognesi, Andrea Bracciali.
- Pattern Application vs. Inheritance in SDLBirgit Geppert, Frank Rößler, Reinhard Gotzhein.
- Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk)Sriram Sankar.
- Observation equivalences for the semantics of inheritanceC. Balzarotti, Fiorella de Cindio, Lucia Pomello.
- Static safety analysis for non-uniform service availability in ActorsJ. L. Colaco, Marc Pantel, Fabien Dagnat, Patrick Sallé.
- Engineering Telecommunication Services With SDLRichard O. Sinnott, Mario Kolberg.
- Developing Object-based Distributed SystemsMarcello M. Bonsangue, Joost N. Kok, Kaisa Sere.
- Specifying component-based Java applications (Short Paper)Stelvio Cimato.
- Piccola - A Small Compositional Language (Invited Talk)Oscar Nierstrasz.
- Infinite types for distributed object interfacesElie Najm, Abdelkrim Nimour, Jean-Bernard Stefani.
- Distributed and concurrent objects based on linear logic (Invited Talk)Naoki Kobayashi, Akinori Yonezawa.
- Calculi for Concurrent Objects (Tutorial)Cosimo Laneve.
- Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial)Pamela Zave.
- Object Composition: A Case StudyD. Ramazani, Gregor von Bochmann.
- Specifying Reusable Controllers for Software Components (Short Paper)José M. Troya, Antonio Vallecillo.
- LSCs: Breathing Life into Message Sequence ChartsWerner Damm, David Harel.
- Composition and Interaction for Behavioural SpecificationsS. Veglioni, Francesco Parisi-Presicce.
- Assessing Service Properties with Regard to a Requested QoS: The Service Metric (Short Paper)Claudia Linnhoff-Popien, Dirk Thißen.
- Specification of Dynamic Reconfiguration in the Context of Input/Output RelationsKetil Stølen.
- Combining Design Methods for Service Development (Short Paper)Marc Born, Andreas Hoffmann, Mang Li, Ina Schieferdecker.
- Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBAKhalil Drira, Frédéric Gouëzec, Michel Diaz.
- A Logic for the Specification of Multi-Object Systems (Short Paper)Jan Broersen, Roel Wieringa.
- An Algebra of ActorsMauro Gaspari, Gianluigi Zavattaro.
- Towards a Formal Operational Semantics of UML Statechart DiagramsDiego Latella, István Majzik, Mieke Massink.
- A Junction between State Based and Behavioural Specification (Invited Talk)Howard Bowman, John Derrick. 213-239
- Protocol Assuring Universal LanguageRick van Rein, Maarten M. Fokkinga. 241-258
- Composition in Multiparadigm Specification TechniquesLynne Blair, Gordon S. Blair. 401-417
- Formal Development of Object-Based Systems in a Temporal Logic SettingErcument Canver, Friedrich W. von Henke. 419-436