Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings - International Conference on Formal Methods for Open Object-Based Distributed Systems 2006 : Bologna, Italy); Gorrieri, Roberto; Wehrheim, Heike; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Electronic data processing -- Distributed processing -- Congresses; Object-oriented programming (Computer science) -- Congresses; Computer Science; Computer Communication Networks; Logics and Meanings of Programs; Operating Systems; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering