Subtyping and locality in distributed higher order processes

DOI10.1007/3-540-48320-9_38MaRDI QIDQ4270081zbMATH OpenFDO

Authors Nobuko Yoshida, Matthew Hennessy

Publication date 10 November 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48320-9_38

zbMATH Keywords

\(\lambda\)-calculusdistributed systemslocality

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Global/local subtyping and capability inference for a distributed -calculus
• A distributed \(\pi\)-calculus with local areas of communication
• The M-calculus: a higher-order distributed process calculus
• scientific article; zbMATH DE number 954809
• Type inference for a distributed \(\pi\)-calculus

Cited in

(14)

• Assigning types to processes
• Translating submachine locality into locality of reference
• MOMI: a calculus for mobile mixins
• safeDpi: a language for controlling mobile code
• Subtyping in distributed systems
• The M-calculus: a higher-order distributed process calculus
• Global/local subtyping and capability inference for a distributed -calculus
• scientific article; zbMATH DE number 1231503 (Why is no real title available?)
• A distributed \(\pi\)-calculus with local areas of communication
• Type-based security for mobile computing integrity, secrecy and liveness
• Type-safe higher-order channels with channel locality
• Social coordination with locally observable types
• Space-aware ambients and processes
• Semantic subtyping for the pi-calculus

This page was built for publication: Subtyping and locality in distributed higher order processes

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