Proving continuity of coinductive global bisimulation distances: A never ending story

  1. Romero-Hernández, D.
  2. De Frutos-Escrig, D.
  3. Monica, D.D.
Konferenzberichte:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Datum der Publikation: 2015

Ausgabe: 200

Seiten: 48-63

Art: Konferenz-Beitrag

DOI: 10.4204/EPTCS.200.4 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus