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. One encoding gives a strong correspondence but uses a match operator; the other yields a slightly weaker correspondence but uses no additional operators.

• Type: Conference
• Year: 1999
• Where: ICALP
• Authors: Cosimo Laneve, Björn Victor
• Keywords: Different Encodings, ICALP 1999, Mobile Processes, Programming Languages, Strong Correspondence