Aliasing models for mobile objects

DOI10.1006/INCO.2001.3104MaRDI QIDQ1854530zbMATH OpenOpenAlexWikidataFDO

Authors Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro

Publication date 14 January 2003

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

Full work available at URL https://doi.org/10.1006/inco.2001.3104

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

• Mobility culling: An efficient rendering algorithm using temporal coherence
• Modeling and retrieval of moving objects
• Modeling moving objects over multiple granularities
• Object Nets for Mobility
• Shape analysis for mobile ambients
• Shape analysis for mobile ambients

Cites work

• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 1231693 (Why is no real title available?)
• scientific article; zbMATH DE number 1759484 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• A calculus for concurrent objects
• A calculus of mobile processes. II

Cited in

(5)

• Formalising Java RMI with explicit code mobility
• Asynchronous sequential processes
• scientific article; zbMATH DE number 1860622 (Why is no real title available?)
• Mobile objects as mobile processes
• scientific article; zbMATH DE number 1759484 (Why is no real title available?)

This page was built for publication: Aliasing models for mobile objects

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