DMCA
Axiomatizing Weak Simulation Semantics over BCCSP
by
Luca Aceto
,
David de Frutos Escrig
,
Carlos Gregorio-Rodríguez
,
Anna Ingólfsdóttir