The equational theory of weak complete simulation semantics over BCCSP
- Aceto, L.
- De Frutos-Escrig, D.
- Gregorio-Rodríguez, C.
- Ingólfsdóttir, A.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642276590
Argitalpen urtea: 2012
Alea: 7147 LNCS
Orrialdeak: 141-152
Mota: Biltzar ekarpena