About The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998)
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998)- (CiteSeer) This PhD thesis proposes the fusion calculus as a simplified pi-calculus with many formal advantages.
