# zbMATH — the first resource for mathematics

Local $$\pi$$-calculus at work: Mobile objects as mobile processes. (English) Zbl 0998.68517
van Leeuwen, Jan (ed.) et al., Theoretical computer science. Exploring new frontiers of theoretical informatics. International conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1872, 390-408 (2000).
Summary: Obliq is a distributed, object-based programming language. In Obliq, the migration of an object is proposed as creating a clone of the object at the target site, whereafter the original object is turned into an alias for the clone. Obliq has an only informal semantics, so there is no proof that this style of migration is correct, i.e., transparent to object clients. In this paper, we focus on Øjeblik, an abstraction of Obliq. We give a $$\pi$$-calculus semantics to Øjeblik and we use it to formally prove the correctness of object surrogation, an abstraction of object migration.
For the entire collection see [Zbl 0944.00071].

##### MSC:
 68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) 68N15 Theory of programming languages 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)