The fusion calculus: expressiveness and symmetry in mobile processes | IEEE Conference Publication | IEEE Xplore