We propose a mobility type system for description and verification of distributed systems in which processes are asked to move between locations where important local interactions are required. We use a simple version of distributed π-calculus to define mobility types. The novelty of this approach is that we point out sequences of migrations as global types, and investigate scenarios in which processes are required to follow such a sequence of migrations along several locations. The typing system ensures certain properties including type soundness.
CITATION STYLE
Aman, B., & Ciobanu, G. (2015). Mobility types for cloud computing. In Communications in Computer and Information Science (Vol. 514, pp. 43–53). Springer Verlag. https://doi.org/10.1007/978-3-319-25043-4_5
Mendeley helps you to discover research relevant for your work.