ICALP
1999
Springer
14 years 4 months ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...