Proving continuity of coinductive global bisimulation distances: A never ending story
- Romero-Hernández, D.
- De Frutos-Escrig, D.
- Monica, D.D.
Actas:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Ano de publicación: 2015
Volume: 200
Páxinas: 48-63
Tipo: Achega congreso