Adding recursion to Dpi
From MaRDI portal
Recommendations
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)
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)