Malcolm Tyrrell, Andrew Butterfield, Alexis Donnelly. OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. In Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000. Workshops in Computing, BCS, 2000. [doi]
Abstract is missing.