N. S. Gribovskaya

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures Electronic Proceedings in Theoretical Computer Science	2024-04-09	Paper
From event-oriented models to transition systems	2019-12-18	Paper
scientific article; zbMATH DE number 6708360 (Why is no real title available?)	2017-04-26	Paper
Configuration- and residual-based transition systems for event structures with asymmetric conflict SOFSEM 2017: Theory and Practice of Computer Science	2017-04-04	Paper
The timed barbed bisimulation is decidable for timed transition systems with invariants	2017-02-21	Paper
A logic characteristic for timed extensions of partial order based equivalences Perspectives of Systems Informatics	2015-12-07	Paper
Timed history preserving bisimulation and open maps Lecture Notes in Computer Science	2015-12-03	Paper
scientific article; zbMATH DE number 6261993 (Why is no real title available?)	2014-02-26	Paper
Unifying behavioral equivalences of timed transition systems Programming and Computer Software	2012-11-16	Paper
Open maps and barbed bisimulation for timed transition systems Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science	2012-04-13	Paper
Open maps and weak trace equivalence for timed event structures Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science	2012-04-13	Paper
Categorical modeling of trace equivalence for times automata models with invariants Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science	2012-04-13	Paper
A categorical view of timed behaviours Fundamenta Informaticae	2011-06-14	Paper
A categorical view of timed weak bisimulation Lecture Notes in Computer Science	2010-06-17	Paper
Open maps and trace semantics for timed partial order models Lecture Notes in Computer Science	2010-01-05	Paper
Timed delay bisimulation is an equivalence relation for timed transition systems	2009-08-10	Paper
scientific article; zbMATH DE number 2104639 (Why is no real title available?)	2004-10-01	Paper

Research outcomes over time

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