Sciweavers

FOSSACS
2004
Springer
14 years 6 months ago
Electoral Systems in Ambient Calculi
This paper compares the expressiveness of ambient calculi against different dialects of the pi-calculus. Cardelli and Gordon encoded the asynchronous pi-calculus into their calcul...
Iain Phillips, Maria Grazia Vigliotti