Characteristic formulae for CCS with divergence (0)

by Bernhard Steffen
Venue:In Ausiello et al