The equational theory of weak complete simulation semantics over bccsp (0)

by Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodŕıguez, Anna Ingólfsdóttir
Venue:In Bieliková et al. [12