FMOODS 2006
The 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems: part of the federated conferences DisCoTec (Distributed Computing Techniques). Bologna, Italy; 14--16 June 2006.