Formal techniques for distributed systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings - International Conference on Formal Methods for Open Object-Based Distributed Systems 2009 : Lisbon, Portugal); Lee, David; Lopes, Antonia; Poetzsch-Heffter, Arnd.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Electronic data processing -- Distributed processing -- Congresses; Object-oriented programming (Computer science) -- Congresses; Formal methods (Computer science) -- Congresses; Computer Communication Networks; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Computer Science; Software Engineering