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:5 - 3 self