Adding recursion to Dpi

DOI10.1016/J.TCS.2006.12.017zbMATH Open1111.68083OpenAlexW2141216727MaRDI QIDQ877023FDOQ877023

Matthew Hennessy, Samuel Hym

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)

Cites Work

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

Cited In (2)

• Mobility control via passports
• Using bisimulation proof techniques for the analysis of distributed abstract machines

   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 👍 👎

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)