Uwe Nestmann;António Ravara
-;-
ODE: a tool for distributing object-oriented applications
Information and Management
An Algebra of Behavioural Types
Information and Computation