default search action

combined dblp search
author search
venue search
publication search

ask others

4th FMOODS 2000: Stanford, California, USA

> Home > Conferences and Workshops > FMOODS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fmoods/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/2000
Scott F. Smith, Carolyn L. Talcott:
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

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/BusiGZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/BusiGZ00
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Semantics of JavaSpaces. 3-19

Mobility

- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/StefaniGN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/StefaniGN00
Jean-Bernard Stefani, Florence Germain, Elie Najm:
Elements of an object-based model for distributed and mobile computation. 23-43
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/DottiR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/DottiR00
Fernando Luís Dotti, Leila Ribeiro:
Specification of Mobile Code Systems using Graph Grammars. 45-64
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/Duggan00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/Duggan00
Dominic Duggan:
Atomic Failure in Wide-Area Computation. 65-86

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/Meseguer00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/Meseguer00
José Meseguer:
Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems. 89-117

Java and UML

- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/EshuisW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/EshuisW00
Rik Eshuis, Roel J. Wieringa:
Requirements Level Semantics for UML Statecharts. 121-140
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/AttaliCG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/AttaliCG00
Isabelle Attali, Denis Caromel, Romain Guider:
A Step Toward Automatic Distribution of Java Programs. 141-161
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/BoltonD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/BoltonD00
Christie Bolton, Jim Davies:
Using Relational and Behavioural Semantics in the Verification of Object Models. 163-182
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/AlvarezA00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/AlvarezA00
José Ambrosio Toval Álvarez, José Luis Fernández-Alemán:
Formally Modeling UML and its Evolution: A Holistic Approach. 183-206

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/Misra00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/Misra00
Jayadev Misra:
Object-Oriented Programming for Wide-Area Computing. 209

Refinement and Subtyping

- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/Wehrheim00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/Wehrheim00
Heike Wehrheim:
Behavioural Subtyping and Property Preservation. 213-231
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/LakosL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/LakosL00
Charles Lakos, Glenn Lewis:
A Practical Approach to Incremental Specification. 233-256
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/DerrickB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/DerrickB00
John Derrick, Eerke A. Boiten:
Refinement of objects and operations in Object-Z. 257-277

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/Karp00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/Karp00
Alan H. Karp:
E-speak: the Technology for Ubiquitous E-services. 281

Time

- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/Wang00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/Wang00
Yunming Wang:
Behavior Expression and OMDD. 285-304
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/DistefanoKR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/DistefanoKR00
Dino Distefano, Joost-Pieter Katoen, Arend Rensink:
On a Temporal Logic for Object-Based Systems. 305-325
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/BlairJB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/BlairJB00
Lynne Blair, Trevor Jones, Gordon S. Blair:
Stochastically Enhanced Timed Automata. 327-347

Components

- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/JanowskiM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/JanowskiM00
Tomasz Janowski, Wojciech I. Mostowski:
Fail-Stop Components by Pattern Matching. 351-370
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/BastideSNP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/BastideSNP00
Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque:
A Formal Specification of the CORBA Event Service. 371-395
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/Barbosa00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/Barbosa00
Luís Soares Barbosa:
Components as Processes: An Exercise in Coalgebraic Modeling. 397-417

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.