Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th FMOODS 2000: Stanford, California, USA
- 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
- Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Semantics of JavaSpaces. 3-19
Mobility
- Jean-Bernard Stefani, Florence Germain, Elie Najm:
Elements of an object-based model for distributed and mobile computation. 23-43 - Fernando Luís Dotti
, Leila Ribeiro:
Specification of Mobile Code Systems using Graph Grammars. 45-64 - Dominic Duggan:
Atomic Failure in Wide-Area Computation. 65-86
Invited Talk
- José Meseguer:
Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems. 89-117
Java and UML
- Rik Eshuis, Roel J. Wieringa:
Requirements Level Semantics for UML Statecharts. 121-140 - Isabelle Attali, Denis Caromel, Romain Guider:
A Step Toward Automatic Distribution of Java Programs. 141-161 - Christie Bolton, Jim Davies:
Using Relational and Behavioural Semantics in the Verification of Object Models. 163-182 - José Ambrosio Toval Álvarez, José Luis Fernández Alemán:
Formally Modeling UML and its Evolution: A Holistic Approach. 183-206
Invited Talk
- Jayadev Misra:
Object-Oriented Programming for Wide-Area Computing. 209
Refinement and Subtyping
- Heike Wehrheim:
Behavioural Subtyping and Property Preservation. 213-231 - Charles Lakos, Glenn Lewis:
A Practical Approach to Incremental Specification. 233-256 - John Derrick, Eerke A. Boiten:
Refinement of objects and operations in Object-Z. 257-277
Invited Talk
- Alan H. Karp:
E-speak: the Technology for Ubiquitous E-services. 281
Time
- Yunming Wang:
Behavior Expression and OMDD. 285-304 - Dino Distefano, Joost-Pieter Katoen, Arend Rensink:
On a Temporal Logic for Object-Based Systems. 305-325 - Lynne Blair, Trevor Jones, Gordon S. Blair:
Stochastically Enhanced Timed Automata. 327-347
Components
- Tomasz Janowski, Wojciech I. Mostowski:
Fail-Stop Components by Pattern Matching. 351-370 - Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque:
A Formal Specification of the CORBA Event Service. 371-395 - Luís Soares Barbosa:
Components as Processes: An Exercise in Coalgebraic Modeling. 397-417
a service of 
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.
last updated on 2024-04-19 19:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
