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

by Daniel Hirschkoff , Damien Pous
Venue:In Proc. of FoSSaCS’07, volume 4423 of LNCS
Citations:3 - 1 self