|
СТ |
Bisimulation for fluid stochastic Petri nets |
2015 |
Tarasyuk I. V., Buchholz P. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
16.06.2016 |
|
СТ |
Performance evaluation of the generalized shared memory system in dtsPBC |
2011 |
Tarasyuk I. V. |
|
|
|
Bulletin of the Novosibirsk Computing Center |
02.04.2012 |
|
П |
Equivalences for modular performance analysis in dtsPBC |
2011 |
Tarasyuk I. V. |
|
|
Univ. Oldenburg |
Acta Informatica |
10.01.2012 |
|
СТ |
Performance preserving equivalences for dtsPBC |
2010 |
Tarasyuk I. V. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
05.04.2011 |
|
П |
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 |
|
СТ |
A notation of congruence for dtsPBC |
2009 |
Tarasyuk I. V. |
|
|
|
Bulletin of the Novosibirsk Computing Center |
11.08.2009 |
|
СТ |
Iteration in discrete time stochastic Petri box calculus |
2006 |
Tarasyuk I. V. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
02.03.2007 |
|
СТ |
Logical Characterization of Probablistic theta-Bisimulation Equivalents |
2004 |
Tarasyuk I. V. |
Computer Science |
|
|
Joint Bull. of NCC and IIS |
22.10.2004 |
|
П |
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 |
|
СТ |
Petri Net Equivalences for Design of Concurrent Systems |
1996 |
Tarasyuk I. V. |
|
|
|
Workshop Concurrency, Specification & Programming |
03.12.1999 |
|
П |
Equivalences for Concurrent and Distributed Systems |
1999 |
Tarasyuk I. V. |
|
|
Univ. Oldenburg |
|
30.11.1999 |
|
СТ |
An Algebra of Labelled Nondeterministic Processes |
1996 |
Tarasyuk I. V. |
Computer Science |
|
|
Joint Bull. of NCC and IIS |
25.03.1999 |
|
СТ |
Equivalences for Behavioural Analysis of Multilevel Systems |
1997 |
Tarasyuk I. V. |
Computer Science |
|
|
Joint Bull. of NCC and IIS |
24.03.1999 |
|
СТ |
-Equivalences for Analysis of Concurrent Systems Modelled by Petri Nets with Silent Transitions |
1998 |
Tarasyuk I. V. |
|
|
|
ИНПРИМ-98 |
26.06.1998 |
|
П |
Equivalence Notions for Design of Concurrent Systems Using Petri Nets |
1996 |
Tarasyuk I. V. |
|
|
Univ. Hildesheim |
Parallel Processing Letters |
21.04.1998 |
|
П |
An Investigation of -Equivalences |
1997 |
Tarasyuk I. V. |
|
|
Univ. Hildesheim |
|
21.04.1998 |
|
СТ |
Back-Forth Equivalences for Design of Concurrent Systems |
1997 |
Tarasyuk I. V. |
|
|
|
Lecture Notes in Computer Science |
27.06.1997 |
|
СТ |
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 |
|
СТ |
Equivalences on Petri Nets |
1994 |
Tarasyuk I. V. |
|
|
ИСИ СО РАН |
Specification, Verification and Net Models of Concurrent Systems |
28.11.1995 |
