Sciweavers

ICALP
1999
Springer
14 years 4 months ago
Solos in Concert
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...
Cosimo Laneve, Björn Victor