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. Logical Methods in Computer Science, 4(2), 2008. [doi]

Abstract

Abstract is missing.