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, Nataliya 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-2023 easychair.org. All rights reserved.