Proving continuity of coinductive global bisimulation distances: A never ending story
- Romero-Hernández, D.
- De Frutos-Escrig, D.
- Monica, D.D.
Actes:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Any de publicació: 2015
Volum: 200
Pàgines: 48-63
Tipus: Aportació congrés