4. FMOODS 2000: Stanford, California, USA

Scott F. Smith, Carolyn L. Talcott (Eds.): Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA. IFIP Conference Proceedings 177 Kluwer 2000, ISBN 0-7923-7923-3 BibTeX

@proceedings{DBLP:conf/fmoods/2000,
  editor    = {Scott F. Smith and
               Carolyn L. Talcott},
  title     = {Formal Methods for Open Object-Based Distributed Systems IV,
               IFIF TC6/WG6.1 Fourth International Conference on Formal Methods
               for Open Object-Based Distributed Systems (FMOODS 2000), September
               6-8, 2000, Stanford, California, USA},
  booktitle = {FMOODS},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {177},
  year      = {2000},
  isbn      = {0-7923-7923-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Semantics of JavaSpaces. 3- BibTeX

Mobility

Jean-Bernard Stefani, Florence Germain, Elie Najm: Elements of an object-based model for distributed and mobile computation. 23-44 BibTeX
Fernando Luís Dotti, Leila Ribeiro: Specification of Mobile Code Systems using Graph Grammars. 45-64 BibTeX
Dominic Duggan: Atomic Failure in Wide-Area Computation. 65- BibTeX

Invited Talk

José Meseguer: Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems. 89- BibTeX

Java and UML

Rik Eshuis, Roel Wieringa: Requirements Level Semantics for UML Statecharts. 121- BibTeX
Isabelle Attali, Denis Caromel, Romain Guider: A Step Toward Automatic Distribution of Java Programs. 141-162 BibTeX
Christie Bolton, Jim Davies: Using Relational and Behavioural Semantics in the Verification of Object Models. 163-182 BibTeX
José Ambrosio Toval Álvarez, José Luis Fernández Alemán: Formally Modeling UML and its Evolution: A Holistic Approach. 183- BibTeX

Invited Talk

Jayadev Misra: Object-Oriented Programming for Wide-Area Computing. 209- BibTeX

Refinement and Subtyping

Heike Wehrheim: Behavioural Subtyping and Property Preservation. 213-232 BibTeX
Charles Lakos, Glenn Lewis: A Practical Approach to Incremental Specification. 233-256 BibTeX
John Derrick, Eerke A. Boiten: Refinement of objects and operations in Object-Z. 257- BibTeX

Invited Talk

Alan H. Karp: E-speak: the Technology for Ubiquitous E-services. 281- BibTeX

Time

Yunming Wang: Behavior Expression and OMDD. 285-304 BibTeX
Dino Distefano, Joost-Pieter Katoen, Arend Rensink: On a Temporal Logic for Object-Based Systems. 285-304 BibTeX
Lynne Blair, Trevor Jones, Gordon S. Blair: Stochastically Enhanced Timed Automata. 327- BibTeX

Components

Tomasz Janowski, Wojciech I. Mostowski: Fail-Stop Components by Pattern Matching. 351-370 BibTeX
Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque: A Formal Specification of the CORBA Event Service. 371-396 BibTeX
Luís Soares Barbosa: Components as Processes: An Exercise in Coalgebraic Modeling. 397- BibTeX