A parametric calculus for mobile open code

DOI10.1016/J.ENTCS.2008.10.024MaRDI QIDQ2864499zbMATH OpenOpenAlexFDO

Authors Davide Ancona, Sonia Fagorzi, Elena Zucca

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.10.024

zbMATH Keywords

dynamic typingmobile codeprocess calculirebindingsubtyping

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• PRISMA: A Mobile Calculus with Parametric Synchronization
• MOMI: a calculus for mobile mixins
• scientific article; zbMATH DE number 1927568
• scientific article; zbMATH DE number 2090726
• Parametric synchronizations in mobile nominal calculi
• On the relative expressive power of calculi for mobility
• On the expressiveness of -calculus for encoding mobile ambients

Cites work

• A Framework for Type Safe Exchange of Mobile Code
• Dynamic rebinding for marshalling and update, with destruct-time
• scientific article; zbMATH DE number 2163038 (Why is no real title available?)
• Inheritance as implicit coercion
• MOMI: a calculus for mobile mixins
• Mutatis mutandis: safe and predictable dynamic software updating
• Polymorphic bytecode
• Types and programing languages

Cited in

(3)

• Extending the lambda-calculus with unbind and rebind
• A Framework for Type Safe Exchange of Mobile Code
• Foundations of Software Science and Computation Structures

Describes a project that uses

Uses Software

• MOMI

This page was built for publication: A parametric calculus for mobile open code

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