Conferences in DBLP

Formal Methods for Open Object-Based Distributed Systems (fmoods)
2000 (conf/fmoods/2000)

1. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
   On the Semantics of JavaSpaces. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2000, pp:3-0 [Conf]
   
2. Jean-Bernard Stefani, Florence Germain, Elie Najm
   Elements of an object-based model for distributed and mobile computation. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2000, pp:23-44 [Conf]
   
3. Fernando Luís Dotti, Leila Ribeiro
   Specification of Mobile Code Systems using Graph Grammars. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2000, pp:45-64 [Conf]
   
4. Dominic Duggan
   Atomic Failure in Wide-Area Computation. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2000, pp:65-0 [Conf]
   
5. José Meseguer
   Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2000, pp:89-0 [Conf]
   
6. Rik Eshuis, Roel Wieringa
   Requirements Level Semantics for UML Statecharts. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2000, pp:121-0 [Conf]
   
7. Isabelle Attali, Denis Caromel, Romain Guider
   A Step Toward Automatic Distribution of Java Programs. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2000, pp:141-162 [Conf]
   
8. Christie Bolton, Jim Davies
   Using Relational and Behavioural Semantics in the Verification of Object Models. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2000, pp:163-182 [Conf]
   
9. José Ambrosio Toval Álvarez, José Luis Fernández Alemán
   Formally Modeling UML and its Evolution: A Holistic Approach. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2000, pp:183-0 [Conf]
   
10. Jayadev Misra
    Object-Oriented Programming for Wide-Area Computing. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:209-0 [Conf]
    
11. Heike Wehrheim
    Behavioural Subtyping and Property Preservation. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:213-232 [Conf]
    
12. Charles Lakos, Glenn Lewis
    A Practical Approach to Incremental Specification. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:233-256 [Conf]
    
13. John Derrick, Eerke A. Boiten
    Refinement of objects and operations in Object-Z. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:257-0 [Conf]
    
14. Alan H. Karp
    E-speak: the Technology for Ubiquitous E-services. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:281-0 [Conf]
    
15. Dino Distefano, Joost-Pieter Katoen, Arend Rensink
    On a Temporal Logic for Object-Based Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:285-304 [Conf]
    
16. Yunming Wang
    Behavior Expression and OMDD. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:285-304 [Conf]
    
17. Lynne Blair, Trevor Jones, Gordon S. Blair
    Stochastically Enhanced Timed Automata. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:327-0 [Conf]
    
18. Tomasz Janowski, Wojciech I. Mostowski
    Fail-Stop Components by Pattern Matching. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:351-370 [Conf]
    
19. Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque
    A Formal Specification of the CORBA Event Service. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:371-396 [Conf]
    
20. Luís Soares Barbosa
    Components as Processes: An Exercise in Coalgebraic Modeling. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:397-0 [Conf]