Imperative objects as mobile processes

DOI10.1016/S0167-6423(02)00034-5zbMath1014.68104MaRDI QIDQ701046

Josva Kleist, Davide Sangiorgi

Publication date: 16 October 2002

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

typed \(\pi\)-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Inheritance in the join calculus. ⋮ Mobile objects as mobile processes ⋮ An interpretation of typed objects into typed \(\pi\)-calculus ⋮ Genericity and the \(\pi\)-calculus

This page was built for publication: Imperative objects as mobile processes