@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 2025/07/27}}}