Imperative objects as mobile processes

Josva Kleist, Davide Sangiorgi. Imperative objects as mobile processes. Science of Computer Programming, 44(3):293-342, 2002. [doi]

Abstract

Abstract is missing.