Solos in Concert

Cosimo Laneve and Björn Victor

Abstract:

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.

In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds, Proceedings of ICALP'99, volume 1644 of Lecture Notes in Computer Science, pages 513-523. Springer-Verlag, 1999. (Postscript, compressed, PDF, Postscript non-compressed) [© Springer-Verlag]

In the full version we also show that the expressive power of the solos calculus is still retained by the sub-calculus where actions carry at most two names. On the contrary, expressiveness is lost in the solos calculus without match and with actions carrying at most one name.

MSCS (Mathematical Structures in Computer Science) vol 13 nr 5 2003 (Postscript, compressed, PDF).

See also these related papers:

The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes, by Joachim Parrow and Björn Victor, LICS'98.
Concurrent Constraints in the Fusion Calculus, by Björn Victor and Joachim Parrow, ICALP'98.
The Tau-Laws of Fusion, by Joachim Parrow and Björn Victor, CONCUR'98.
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes, PhD thesis by Björn Victor.
Symbolic Characterizations and Algorithms for Hyperequivalence, by Björn Victor, technical report DoCS 98/96.
Solos in Concert, by Cosimo Laneve and Björn Victor, ICALP'99 / MSCS 13(5) 2003.
Solo Diagrams, by Cosimo Laneve, Joachim Parrow and Björn Victor, TACS2001.

and Lucian Wischik's excellent overview of fusion research.

Björn Victor

Last modified: Mon, 01-Dec-2003 17:17 MET