Adding recursion to Dpi

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

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

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

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 (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)