by International Conference on Formal Methods for Open Object-Based Distributed Systems (3rd 1999 Florence, Italy)
"This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information…