Abstract is missing.
- On the Semantics of JavaSpacesNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro. 3
- Elements of an object-based model for distributed and mobile computationJean-Bernard Stefani, Florence Germain, Elie Najm. 23-44
- Specification of Mobile Code Systems using Graph GrammarsFernando Luís Dotti, Leila Ribeiro. 45-64
- Atomic Failure in Wide-Area ComputationDominic Duggan. 65
- Requirements Level Semantics for UML StatechartsRik Eshuis, Roel Wieringa. 121
- A Step Toward Automatic Distribution of Java ProgramsIsabelle Attali, Denis Caromel, Romain Guider. 141-162
- Using Relational and Behavioural Semantics in the Verification of Object ModelsChristie Bolton, Jim Davies. 163-182
- Formally Modeling UML and its Evolution: A Holistic ApproachJosé Ambrosio Toval Álvarez, José Luis Fernández Alemán. 183
- Object-Oriented Programming for Wide-Area ComputingJayadev Misra. 209
- Behavioural Subtyping and Property PreservationHeike Wehrheim. 213-232
- A Practical Approach to Incremental SpecificationCharles Lakos, Glenn Lewis. 233-256
- Refinement of objects and operations in Object-ZJohn Derrick, Eerke Boiten. 257
- E-speak: the Technology for Ubiquitous E-servicesAlan H. Karp. 281
- Behavior Expression and OMDDYunming Wang. 285-304
- On a Temporal Logic for Object-Based SystemsDino Distefano, Joost-Pieter Katoen, Arend Rensink. 285-304
- Stochastically Enhanced Timed AutomataLynne Blair, Trevor Jones, Gordon S. Blair. 327
- Fail-Stop Components by Pattern MatchingTomasz Janowski, Wojciech I. Mostowski. 351-370
- A Formal Specification of the CORBA Event ServiceRémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque. 371-396
- Components as Processes: An Exercise in Coalgebraic ModelingLuís Soares Barbosa. 397