Mobile objects as mobile processes

DOI10.1006/inco.2002.3172zbMath1093.68562OpenAlexW4213153484MaRDI QIDQ2497145

Josva Kleist, Uwe Nestmann, Massimo Merro

Publication date: 3 August 2006

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/c9da12371c350f71de9170175cfa3a68bb246a8b

zbMATH Keywords

migration\(\pi\)-calculusobjects

Mathematics Subject Classification ID

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

Related Items (4)

Towards a behavioural theory of access and mobility control in distributed systems ⋮ Inheritance in the join calculus. ⋮ Formalising Java RMI with explicit code mobility ⋮ Unnamed Item

Cites Work

• Locality and interleaving semantics in calculi for mobile processes
• Imperative objects as mobile processes
• An interpretation of typed objects into typed \(\pi\)-calculus
• On transformations of concurrent-object programs
• On bisimulations for the asynchronous \(\pi\)-calculus
• On reduction-based process semantics
• Aliasing models for mobile objects
• Objects in the \(\pi\)-calculus
• The name discipline of uniform receptiveness
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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