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

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

Howard Bowman , John Derrick