2 search results - page 1 / 1 » Symmetric electoral systems for ambient calculi |
IANDC
2008
13 years 8 months ago
2008
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
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...