N. S. Gribovskaya

Available identifiers

Publication	Date of Publication	Type
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures	2024-04-09	Paper
From event-oriented models to transition systems	2019-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q2979882	2017-04-26	Paper
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict	2017-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q2963893	2017-02-21	Paper
A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences	2015-12-07	Paper
Timed History Preserving Bisimulation and Open Maps	2015-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q5398251	2014-02-26	Paper
Unifying behavioral equivalences of timed transition systems	2012-11-16	Paper
Open maps and barbed bisimulation for timed transition systems	2012-04-13	Paper
Open maps and weak trace equivalence for timed event structures	2012-04-13	Paper
Categorical modeling of trace equivalence for times automata models with invariants	2012-04-13	Paper
A categorical view of timed behaviours	2011-06-14	Paper
A categorical view of timed weak bisimulation	2010-06-17	Paper
Open maps and trace semantics for timed partial order models	2010-01-05	Paper
Timed delay bisimulation is an equivalence relation for timed transition systems	2009-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4818753	2004-10-01	Paper

This page was built for person: N. S. Gribovskaya