The Equational Theory of Weak Complete Simulation Semantics over BCCSP.

Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Anna Inglfsdttir

Browse the full SOFSEM paper archive.