%0
Generic
%T
CCS Semantics via Proved Transition Systems and Rewriting Logic
%A Carabetta, Georgia
%A Degano, Pierpaolo
%A Gadducci, Fabio
%I Elsevier BV
%@ 1571-0661
%K General Computer Science
%K Theoretical Computer Science
%D 1998
%C Elsevier BV