Adding recursion to \textsc{Dpi} (extended abstract)

MaRDI QIDQ2852098zbMATH OpenFDO

Authors Samuel Hym, Matthew Hennessy

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106002209

Mathematics Subject Classification ID

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

Recommendations

• Adding recursion to Dpi
• A Distributed Pi-Calculus
• safeDpi: a language for controlling mobile code
• scientific article; zbMATH DE number 1956519
• scientific article; zbMATH DE number 1956558

Cited in

(1)

• Adding recursion to Dpi

This page was built for publication: Adding recursion to \textsc{Dpi} (extended abstract)

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