Igor V. Tarasyuk

Publication Activity (10 Years)

Years Active: 1997-2019
Publications (10 Years): 4

Top Topics

Concurrent Systems

Equivalence Relation

Top Venues

Math. Struct. Comput. Sci.

Electron. Notes Theor. Comput. Sci.

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Igor V. Tarasyuk
Discrete time stochastic and deterministic Petri box calculus. CoRR (2019)
Falko Bause, Peter Buchholz, Igor V. Tarasyuk, Miklós Telek
Equivalence and Lumpability of FSPNs. ASMTA (2017)
Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. CoRR (2017)
Igor V. Tarasyuk, Peter Buchholz
Behavioural equivalences for fluid stochastic Petri nets. CoRR (2017)
Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
Performance analysis of concurrent systems in algebra dtsiPBC. Program. Comput. Softw. 40 (5) (2014)
Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC. Electron. Notes Theor. Comput. Sci. 296 (2013)
Igor V. Tarasyuk
Equivalence relations for modular performance evaluation in dtsPBC. Math. Struct. Comput. Sci. 24 (1) (2013)
Igor V. Tarasyuk
Stochastic Petri Box Calculus with Discrete Time. Fundam. Informaticae 76 (1-2) (2007)
Igor V. Tarasyuk
Place bisimulation equivalences for design of concurrent and sequential systems. Electron. Notes Theor. Comput. Sci. 18 (1998)
Igor V. Tarasyuk
Back-Forth Equivalences for Design of Concurrent Systems. LFCS (1997)