Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings - Steffen, Martin; Zavattaro, Gianluigi; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: Computer science; Computer Communication Networks; Software engineering; Operating systems (Computers).; Logic design; Computer Science; Computer Communication Networks; Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Operating Systems; Logics and Meanings of Programs