Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Howard Bowman , John Derrick