Name-passing in an ambient-like calculus and its proof using spatial logic

DOI10.1016/J.TCS.2006.02.005MaRDI QIDQ2491641zbMATH OpenOpenAlexFDO

Authors Xudong Guan

Publication date 29 May 2006

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

Full work available at URL https://doi.org/10.1016/j.tcs.2006.02.005

zbMATH Keywords

\(\pi \)-calculusambient calculusoperational correspondencespatial logic

Mathematics Subject Classification ID

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

Recommendations

• Name-passing in an ambient-like calculus and its proof using spatial logic
• Encoding mobile ambients into the \(\pi \)-calculus
• On the expressiveness of pure mobile ambients
• Ambient calculus and its logic in the calculus of inductive constructions
• On the expressiveness of the -calculus and the mobile ambients

Cites work

• A calculus of mobile processes. II
• A logic you can count on
• A spatial logic for concurrency. I
• Anytime, anywhere: modal logics for mobile ambients
• Barbed bisimulation
• Bisimulation congruences in safe ambients
• Equational properties of mobile ambients
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 1722648 (Why is no real title available?)
• scientific article; zbMATH DE number 1956515 (Why is no real title available?)
• scientific article; zbMATH DE number 2038740 (Why is no real title available?)
• scientific article; zbMATH DE number 1759630 (Why is no real title available?)
• scientific article; zbMATH DE number 2163048 (Why is no real title available?)
• M^3: mobility types for mobile processes in mobile ambients
• Mobile ambients
• On the computational strength of pure ambient calculi
• Resource access control in systems of mobile agents
• The -calculus: A theory of mobile processes
• The chemical abstract machine
• The name discipline of uniform receptiveness

Cited in

(4)

• On the expressiveness of internal mobility in name-passing calculi
• scientific article; zbMATH DE number 1722648 (Why is no real title available?)
• Name-passing in an ambient-like calculus and its proof using spatial logic
• On the expressiveness of internal mobility in name-passing calculi

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: Name-passing in an ambient-like calculus and its proof using spatial logic

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