@misc{misc, title  = {{Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches}},

 publisher = {{Cambridge Univ Press}},

 year = {{2001}},

 month = {{10}},

 author = {{Bowman H and Derrick J}},

 isbn = {{9780521771849}},

 note = {{Accessed on 2026/08/03}}}