|   | by Howard BowmanPaperback details (UK). details (United States). details (Germany). details (Canada). ISBN: 978-0-521-16875-5 ISBN-10: 0-521-16875-9 Cambridge University Press · 2011 | 
| See also: | ||
| 2001 | Hardcover | Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches |