Abstract
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 π-calculus semantics to ∅jeblik, and we use it to formally prove the correctness of object surrogation, an abstraction of object migration. © Springer-Verlag Berlin Heidelberg 2002.
Cite
CITATION STYLE
Merro, M., Kleist, J., & Nestmann, U. (2000). Local π-calculus at work: Mobile objects as mobile processes. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1872 LNCS, pp. 390–408). Springer Verlag. https://doi.org/10.1007/3-540-44929-9_28
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
