Some evidence on the consistency of categorical semantics for timed interleaving behaviors

von Virbitskaite, Irina B.
Veröffentlicht 2012

Some characteristics of nondeterministic processes

von Virbitskaite, Irina B.
Veröffentlicht in Parallel Processing Letters 3(1993)1, S. 99-106 (1993)

Extended Future in Testing Semantics for Time Petri Nets

von Bozhenkova, Elena
Veröffentlicht in International Workshop on Concurrency, Specification and Programming (29. : 2021 : Berlin; Online) Concurrency, specification and programming (2023)

Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006 ; revised papers

Veröffentlicht 2007

Some evidence of the consistency of categorical semantics for timed interleaving behaviors

von Virbitskaite, Irina
Veröffentlicht 2012

Unified characterization of some properties of event structures

von Virbitskaite, Irina B.
Veröffentlicht 1994

Unified characterization of some properties of event structures

von Virbitskaite, Irina B.
Veröffentlicht 1994

Investigating semantic notions for coloured dataflow networks

von Virbitskaite, Irina B.
Veröffentlicht 1996

Comparing logical and behavioural equivalences for event structures

von Virbitskaite, Irina B.
Veröffentlicht 1996

Causality-Based Testing in Time Petri Nets

von Bozhenkova, Elena
Veröffentlicht in International Andrei P. Ershov Informatics Conference (12. : 2019 : Nowosibirsk) Perspectives of system informatics (2019)

Comparing logical and behavioural equivalences for event structures

von Virbitskaite, Irina B.
Veröffentlicht 1996

Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24 - 27, 2014 ; revised selected papers

Veröffentlicht 2015

Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 ; revised papers

Veröffentlicht 2010