Billington, J.2025-12-172025-12-171997Formal Methods for Open Object-based Distributed Systems, 19979780412797705https://hdl.handle.net/1959.8/129474enCPN Modelling of an Object Based System for the ODP TraderConference paper