@article{Kleist_Sangiorgi_1998, title={Imperative Objects and Mobile Processes}, volume={5}, url={https://tidsskrift.dk/brics/article/view/19498}, DOI={10.7146/brics.v5i52.19498}, abstractNote={An interpretation of Abadi and Cardelli’s first-order Imperative Object<br />Calculus into a typed pi-calculus is presented. The interpretation<br />validates the subtyping relation and the typing judgements of the Object<br />Calculus, and is computationally adequate. The proof of computational<br />adequacy makes use of (a pi-calculus version) of ready simulation, and of a<br />factorisation of the interpretation into a functional part and a very simple<br />imperative part. The interpretation can be used to compare and contrast<br />the Imperative and the Functional Object Calculi, and to prove properties<br />about them, within a unified framework.}, number={52}, journal={BRICS Report Series}, author={Kleist, Josva and Sangiorgi, Davide}, year={1998}, month={Jun.} }