Formal methods for open object-based distributed systems
By: edited by Elie Najm, Jean-Bernard Stefani.
Contributors: Bowman, Howard.; Derrick, John.; Najm, Elie.; Stefani, Jean-Bernard.; International Federation for Information Processing.; International Workshop on Formal Methods for Open Object-based Distributed Systems (1996 : Paris, France); International Workshop on Formal Methods for Open Object-based Distributed Systems (2nd : 1997 : Canterbury, England); International Workshop on Formal Methods for Open Object-based Distributed Systems (3rd : 1999 : Florence, Italy)
Edition: 1st ed.
Publisher: Chapman & Hall
Published: 1997
Place of publication: London; New York
Language: eng
Number of pages: 411
Subjects: Electronic data processing -- Distributed processing -- Congresses.; Object-oriented programming (Computer science) -- Congresses.; Parallel programming (Computer science) -- Congresses.
Notes: [Vol. 1] contains selected papers from the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS '96) sponsored by IFIP and held in Paris, France, March 1996.

Vol. 2 contains the proceedings of the Second IFIP WG6.1 International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS '97).
Table of contents: title: v. 2.  IFIP TC6 WG6.1 International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS '97), 21-23 July 1997, Canterbury, Kent, Uk / edited by Howard Bowman and John Derrick; title: v. 3. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), February 15-18, 1999, Florence, Italy / edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri.