Formal Methods for Distributed Processing A Survey of Object-Oriented Approaches Bowman, Howard Heftet / 2011 / Engelsk
Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings Derrick John Heftet / 2007 / Engelsk
Formal Methods for Distributed Processing A Survey of Object-Oriented Approaches Bowman, Howard Innbundet / 2001 / Engelsk
Formal Methods for Open Object-based Distributed Systems Volume 2 Bowman, Howard Innbundet / 1997 / Engelsk
