Mobile objects as mobile processes

DOI10.1006/INCO.2002.3172MaRDI QIDQ2497145zbMATH OpenOpenAlexFDO

Authors Massimo Merro, Josva Kleist, Uwe Nestmann

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

\(\pi\)-calculusmigrationobjects

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)

Recommendations

• Imperative objects as mobile processes
• scientific article; zbMATH DE number 2104623
• scientific article; zbMATH DE number 2163006
• scientific article; zbMATH DE number 2102772
• scientific article; zbMATH DE number 1746454
• Variations on mobile processes
• scientific article; zbMATH DE number 1512624
• A filter model for mobile processes

Cites work

• Aliasing models for mobile objects
• An interpretation of typed objects into typed -calculus
• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 1223739 (Why is no real title available?)
• scientific article; zbMATH DE number 1231693 (Why is no real title available?)
• scientific article; zbMATH DE number 1512621 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• Imperative objects as mobile processes
• Locality and interleaving semantics in calculi for mobile processes
• Objects in the \(\pi\)-calculus
• On bisimulations for the asynchronous -calculus
• On reduction-based process semantics
• On transformations of concurrent-object programs
• The -calculus: A theory of mobile processes
• The name discipline of uniform receptiveness

Cited in

(7)

• Inheritance in the join calculus.
• Towards a behavioural theory of access and mobility control in distributed systems
• Formalising Java RMI with explicit code mobility
• A filter model for mobile processes
• scientific article; zbMATH DE number 1512624 (Why is no real title available?)
• scientific article; zbMATH DE number 1860622 (Why is no real title available?)
• scientific article; zbMATH DE number 7559490 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2497145)