DMCA

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

by Daniel Hirschkoff , Damien Pous
Venue:LMCS
Citations:6 - 3 self