A Distribution Law for CCS and a New Congruence Result for the p-calculus.

Daniel Hirschkoff Damien Pous A Distribution Law for CCS and a New Congruence Result for the p-calculus. 2008 4 Logical Methods in Computer Science 2 http://dx.doi.org/10.2168/LMCS-4(2:4)2008 db/journals/lmcs/lmcs4.html#HirschkoffP08