A causal semantics for CCS via rewriting logic (2002)

by P Degano, F Gadducci, C Priami
Venue:Theoretical Computer Science