Back-Forth Equivalences for Design of Concurrent Systems. - Igor V. Tarasyuk (LFCS, 1997)

Place bisimulation equivalences for design of concurrent and sequential systems. - Igor V. Tarasyuk (MFCS Workshop on Concurrency, 1998)

Equivalences for concurrent and distributed systems: a survey of dissertation. - Igor V. Tarasyuk (1999)

Stochastic Petri Box Calculus with Discrete Time. - Igor V. Tarasyuk (Fundam. Informaticae, 2007)

Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC. - Igor V. Tarasyuk; Hermenegilda Macià; Valentín Valero Ruiz (PASM/PDMC, 2012)

Equivalence relations for modular performance evaluation in dtsPBC. - Igor V. Tarasyuk (Math. Struct. Comput. Sci., 2013)

Performance analysis of concurrent systems in algebra dtsiPBC. - Igor V. Tarasyuk; Hermenegilda Macià; Valentín Valero Ruiz (Program. Comput. Softw., 2014)

Equivalence and Lumpability of FSPNs. - Falko Bause; Peter Buchholz 001; Igor V. Tarasyuk; Miklós Telek (ASMTA, 2017)

Behavioural equivalences for fluid stochastic Petri nets. - Igor V. Tarasyuk; Peter Buchholz 001 (CoRR, 2017)

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. - Igor V. Tarasyuk; Hermenegilda Macià; Valentín Valero Ruiz (CoRR, 2017)

Discrete time stochastic and deterministic Petri box calculus. - Igor V. Tarasyuk (CoRR, 2019)

Embedding and elimination for performance analysis in stochastic process algebra dtsdPBC. - Igor V. Tarasyuk (Int. J. Parallel Emergent Distributed Syst., 2024)

Performance analysis of the shared memory system in stochastic process algebra dtsdPBC. - Igor V. Tarasyuk (Int. J. Parallel Emergent Distributed Syst., 2025)

Comparing dtsdPBC with other stochastic process algebras. - Igor V. Tarasyuk (Int. J. Parallel Emergent Distributed Syst., 2025)