Вы здесь

Tarasyuk I. V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Equivalences on Petri Nets 1994 Tarasyuk I. V. ИСИ СО РАН Specification, Verification and Net Models of Concurrent Systems 28.11.1995
СТ An Investigation of Equivalence Notions on Some Subclasses of Petri Nets 1995 Tarasyuk I. V. Computer Science Bulletin of the Novosibirsk Computing Center 08.04.1997
СТ Back-Forth Equivalences for Design of Concurrent Systems 1997 Tarasyuk I. V. Lecture Notes in Computer Science 27.06.1997
П An Investigation of -Equivalences 1997 Tarasyuk I. V. Univ. Hildesheim 21.04.1998
П Equivalence Notions for Design of Concurrent Systems Using Petri Nets 1996 Tarasyuk I. V. Univ. Hildesheim Parallel Processing Letters 21.04.1998
СТ -Equivalences for Analysis of Concurrent Systems Modelled by Petri Nets with Silent Transitions 1998 Tarasyuk I. V. ИНПРИМ-98 26.06.1998
СТ Equivalences for Behavioural Analysis of Multilevel Systems 1997 Tarasyuk I. V. Computer Science Joint Bull. of NCC and IIS 24.03.1999
СТ An Algebra of Labelled Nondeterministic Processes 1996 Tarasyuk I. V. Computer Science Joint Bull. of NCC and IIS 25.03.1999
П Equivalences for Concurrent and Distributed Systems 1999 Tarasyuk I. V. Univ. Oldenburg 30.11.1999
СТ Petri Net Equivalences for Design of Concurrent Systems 1996 Tarasyuk I. V. Workshop Concurrency, Specification & Programming 03.12.1999
П tau-Equivalences and Refinement for Petri Nets Based Design 2000 Tarasyuk I. V. Techn.Univ.Dresden 06.04.2001
П A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions 2000 Buchholz P., Tarasyuk I. V. Techn.Univ.Dresden 06.04.2001
СТ Logical Characterization of Probablistic theta-Bisimulation Equivalents 2004 Tarasyuk I. V. Computer Science Joint Bull. of NCC and IIS 22.10.2004
СТ Iteration in discrete time stochastic Petri box calculus 2006 Tarasyuk I. V. Computer Science Bulletin of the Novosibirsk Computing Center 02.03.2007
СТ A notation of congruence for dtsPBC 2009 Tarasyuk I. V. Bulletin of the Novosibirsk Computing Center 11.08.2009
П Discrete time stochastic Petri box calculus with immediate multiactions 2010 Tarasyuk I. V., Macia H., Valerio V. Univ. de Castilla-La Mancha 12.05.2010
СТ Performance preserving equivalences for dtsPBC 2010 Tarasyuk I. V. Computer Science Bulletin of the Novosibirsk Computing Center 05.04.2011
П Equivalences for modular performance analysis in dtsPBC 2011 Tarasyuk I. V. Univ. Oldenburg Acta Informatica 10.01.2012
СТ Performance evaluation of the generalized shared memory system in dtsPBC 2011 Tarasyuk I. V. Bulletin of the Novosibirsk Computing Center 02.04.2012
СТ Bisimulation for fluid stochastic Petri nets 2015 Tarasyuk I. V., Buchholz P. Computer Science Bulletin of the Novosibirsk Computing Center 16.06.2016