Proving continuity of coinductive global bisimulation distances: A never ending story
- Romero-Hernández, D.
- De Frutos-Escrig, D.
- Monica, D.D.
Aktak:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Argitalpen urtea: 2015
Alea: 200
Orrialdeak: 48-63
Mota: Biltzar ekarpena