On the expressiveness of internal mobility in name-passing calculi

DOI10.1007/3-540-61604-7_54MaRDI QIDQ6104372zbMATH OpenOpenAlexFDO

Authors Michele Boreale

Publication date 28 June 2023

Published in CONCUR '96: Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61604-7_54

Mathematics Subject Classification ID

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

Recommendations

• On the expressiveness of internal mobility in name-passing calculi
• On the relative expressive power of calculi for mobility
• Algebraic theories for name-passing calculi
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 2087427
• scientific article; zbMATH DE number 1223739
• On asynchrony in name-passing calculi
• Name-passing calculi: from fusions to preorders and types
• Name-passing calculi: from fusions to preorders and types
• Name-passing in an ambient-like calculus and its proof using spatial logic

Cites work

• Algebraic theories for name-passing calculi
• An efficiency preorder for processes
• Functions as processes
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)

Cited in

(7)

• On the expressiveness of internal mobility in name-passing calculi
• Asynchronous process calculi: The first- and higher-order paradigms
• A CPS encoding of name-passing in higher-order mobile embedded resources
• A CPS encoding of name-passing in higher-order mobile embedded resources
• Internal mobility and agent-passing calculi
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• Theory of interaction

This page was built for publication: On the expressiveness of internal mobility in name-passing calculi

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