A Distribution Law for CCS and a New Congruence Result for the

Daniel Hirschkoff, Damien Pous

Browse the full FOSSACS paper archive.