Infoscience
Formal Methods for Open Object-based Distributed Systems
March 2002
University of Twente, the Netherlands