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
Ano de publicación: 2011
Volume: 6916 LNCS
Páxinas: 7-24
Tipo: Achega congreso