11 search results - page 3 / 3 » Deciding Reachability in Mobile Ambients |
LICS
2006
IEEE
13 years 10 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...