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

by G Carabetta, P Degano, F Gadducci
Venue:Kirchner (Eds.), Rewriting Logic and its Applications, Electronic