CCS semantics via proved transition systems and rewriting logic (0)

by G Carabetta, P Degano, F Gadducci
Venue:In Kirchner and Kirchner [47