CCS semantics via proved transition systems and rewriting logic. - Georgia Carabetta; Pierpaolo Degano; Fabio Gadducci (WRLA, 1998)