Axiomatizing weak ready simulation semantics over BCCSP
- Aceto, L.
- De Frutos Escrig, D.
- Gregorio-Rodríguez, C.
- Ingolfsdottir, A.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642232824
Year of publication: 2011
Volume: 6916 LNCS
Pages: 7-24
Type: Conference paper