Adding recursion to Dpi

DOI10.1016/J.TCS.2006.12.017MaRDI QIDQ877023zbMATH OpenOpenAlexFDO

Authors Samuel Hym, Matthew Hennessy

Publication date 19 April 2007

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

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

zbMATH Keywords

recursionDpi-calculusimplementation using replicationrecursive and co-inductive types

Mathematics Subject Classification ID

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

Recommendations

• Adding recursion to \textsc{Dpi} (extended abstract)
• A Distributed Pi-Calculus
• safeDpi: a language for controlling mobile code
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Foundations of Software Science and Computation Structures

Cites work

• A theory of bisimulation for a fragment of concurrent ML with local names
• CONCUR 2005 – Concurrency Theory
• Recursive subtyping revealed
• Resource access control in systems of mobile agents
• The \(\pi\)-calculus: A theory of mobile processes
• Towards a behavioural theory of access and mobility control in distributed systems
• Types and programing languages

Cited in

(3)

• Mobility control via passports
• Adding recursion to \textsc{Dpi} (extended abstract)
• Using bisimulation proof techniques for the analysis of distributed abstract machines

This page was built for publication: Adding recursion to Dpi

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