Formal methods for open object-based distributed systems. 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15--17, 2005. Proceedings
scientific article; zbMATH DE number 6701142