Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings - International Conference on Formal Methods for Open Object-Based Distributed Systems 2005 : Athens, Greece); Steffen, Martin; Zavattaro, Gianluigi; SpringerLink (Online service) (Berlin Heidelberg : Springer Science+Business Media, Inc., 2005)
Keywords: Electronic data processing -- Distributed processing -- Congresses; Object-oriented programming (Computer science) -- Congresses