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

 publisher = {{Cambridge Univ Press}},

 url = {{}},

 year = {{2001}},

 month = {{10}},

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

 isbn = {{9780521771849}},

 note = {{Accessed on 2024/10/23}}}