Adding recursion to Dpi
From MaRDI portal
Publication:877023
DOI10.1016/j.tcs.2006.12.017zbMath1111.68083MaRDI QIDQ877023
Samuel Hym, Matthew C. B. 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Using bisimulation proof techniques for the analysis of distributed abstract machines, Mobility control via passports
Cites Work