A distribution law for CCS and a new congruence result for the pi-calculus (2007)

by D Hirschkoff, D Pous
Venue:In Proc. of FoSSaCS’07, volume 4423 of LNCS