"A Complete Compositional Model Proof System for a Subset of CCS."

Colin Stirling (1985)
a service of Schloss Dagstuhl - Leibniz Center for Informatics