Proving continuity of coinductive global bisimulation distances: A never ending story
- Romero-Hernández, D.
- De Frutos-Escrig, D.
- Monica, D.D.
Proceedings:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Year of publication: 2015
Volume: 200
Pages: 48-63
Type: Conference paper