Igor V. Tarasyuk
E-mail
Organization:
  • A.P. Ershov Institute of Informatics Systems SB RAS — senior researcher
Academic degree: PhD
List of Articles:
Tarasyuk I. Buchholz P. Bisimulation for fluid stochastic Petri nets // Computer Science. — 2015 . — # 38.  — P. 121-150
Tarasyuk I. Performance evaluation of the generalized shared memory system in dtsPBC // Computer Science. — 2011 . — # 32.  — P. 127-155
Tarasyuk I. Performance preserving equivalences for dtsPBC // Computer Science. — 2010 . — # 31.  — P. 155-178
Tarasyuk I. A notion of congruence for dtsPBC // Computer Science. — 2008 . — # 28.  — P. 121-141
Tarasyuk I. Iteration in discrete time stochastic Petri box calculus // Computer Science. — 2006 . — # 24.  — P. 129-148
Tarasyuk I. Logical characterization of probabilistic τ-bisimulation equivalences // Computer Science. — 2004 . — # 20.  — P. 97-111
Buchholz P. Tarasyuk I. Net and algebraic approaches to probabilistic modeling // Computer Science. — 2001 . — # 15.  — P. 31-64
Tarasyuk I. τ-Equivalences for analysis of concurrent systems modelled by Petri nets with silent transitions // Computer Science. — 1999 . — # 12.  — P. 47-51
Virbitskaite I. Tarasyuk I. Equivalence notions and refinement for timed Petri nets // Computer Science. — 1998 . — # 8.  — P. 57-79
Tarasyuk I. Equivalences for behavioural analysis of multilevel systems // Computer Science. — 1997 . — # 7.  — P. 57-84
Tarasyuk I. An algebra of labelled nondeterministic processes // Computer Science. — 1996 . — # 5.  — P. 83-100
Tarasyuk I. An investigation of equivalence notions on some subclasses of Petri nets // Computer Science. — 1995 . — # 3.  — P. 89-100