Axiomatizing Weak Ready Simulation Semantics over BCCSP.

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

Browse the full ICTAC paper archive.