TY  - RPRT
TI  - A Distribution Law for CCS and a New Congruence Result for the pi-calculus
AU  - Daniel Hirschkoff
AU  - Damien Pous
PY  - 2008
DO  - 10.2168/lmcs-4(2:4)2008
UR  - https://arxiv.org/abs/cs/0608059
ID  - cs/0608059
ER  -