Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci
CCS semantics via proved transition systems and rewriting logic
WRLA, 1998.
@article{WRLA-1998-CarabettaDG,
author = "Georgia Carabetta and Pierpaolo Degano and Fabio Gadducci",
doi = "10.1016/S1571-0661(05)80023-4",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "369--387",
title = "{CCS semantics via proved transition systems and rewriting logic}",
volume = 15,
year = 1998,
}