HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Irina Virbitskaite

Publications
PSI 2014. Ershov Informatics Conference
Irina Virbitskaite and Andrei Voronkov (editors)
EPiC Series in Computing, volume 23
Unifying Equivalences for Timed Transition Systems
Irina Virbitskaite, Natalya Gribovskaya and Eike Best
In:Turing-100. The Alan Turing Centenary

Keyphrases

behavioral equivalences, Coalgebraic Bisimulation, Open Maps Bisimulation, Path Bisimulation, timed transition system.

Copyright © 2012-2025 easychair.org. All rights reserved.