The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes

Joachim Parrow, Bjrn Victor

Browse the full LICS paper archive.