DMCA

Axiomatizing Weak Simulation Semantics over BCCSP

Cached

Download Links

by Luca Aceto , David de Frutos Escrig , Carlos Gregorio-Rodríguez , Anna Ingólfsdóttir