Coinductive definition of distances between processes: Beyond bisimulation distances
- Romero-Hernández, D.
- De Frutos Escrig, D.
ISSN: 1611-3349, 0302-9743
ISBN: 9783662436127
Any de publicació: 2014
Volum: 8461 LNCS
Pàgines: 249-265
Tipus: Aportació congrés