Axiomatizing weak ready simulation semantics over BCCSP (2011)

by L Aceto, D de Frutos-Escrig, C Gregorio-Rodríguez, A Ingólfsdóttir
Venue:Proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011, Lecture Notes in Computer Science