Extending CORBA interfaces with π-calculus for protocol compatibility | Publicación