Towards an algebraic theory of typed mobile processes

DOI10.1016/J.TCS.2005.10.029MaRDI QIDQ817843zbMATH OpenOpenAlexFDO

Authors Davide Sangiorgi, Yuxin Deng

Publication date 20 March 2006

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

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

zbMATH Keywords

typesalgebraic theorymobile processes

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 954809
• A calculus of mobile processes. I
• An algebra of behavioural types
• Typed behavioural equivalences for processes in the presence of subtyping
• Typed behavioural equivalences for processes in the presence of subtyping

Cites work

• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A calculus of mobile processes. II
• A fully abstract semantics for causality in the \(\pi\)-calculus
• A theory of bisimulation for the -calculus
• Algebraic theories for name-passing calculi
• Complete inference systems for weak bisimulation equivalences in the -calculus.
• Resource access control in systems of mobile agents
• Termination of context-sensitive rewriting
• Testing equivalence for mobile processes
• The \(\pi\)-calculus: A theory of mobile processes
• Typed behavioural equivalences for processes in the presence of subtyping

Cited in

(11)

• Process types as a descriptive tool for interaction. Control and the pi-calculus
• An algebra of behavioural types
• Typed behavioural equivalences for processes in the presence of subtyping
• A calculus of mobile processes. II
• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• A behavioural theory for a \(\pi\)-calculus with preorders
• Linear logical relations and observational equivalences for session-based concurrency
• A behavioural theory for a \(\pi\)-calculus with preorders
• Typed behavioural equivalences for processes in the presence of subtyping
• Two Session Typing Systems for Higher-Order Mobile Processes
• Programming Languages and Systems

This page was built for publication: Towards an algebraic theory of typed mobile processes

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