Igor V. Tarasyuk

14 papers Misc 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Comparing dtsdPBC with other stochastic process algebras.
Int. J. Parallel Emergent Distributed Syst.
Igor V. Tarasyuk
2025 J jnl
Performance analysis of the shared memory system in stochastic process algebra dtsdPBC.
Int. J. Parallel Emergent Distributed Syst.
Igor V. Tarasyuk
2024 J jnl
Embedding and elimination for performance analysis in stochastic process algebra dtsdPBC.
Int. J. Parallel Emergent Distributed Syst.
Igor V. Tarasyuk
2019 J jnl
Discrete time stochastic and deterministic Petri box calculus.
CoRR
Igor V. Tarasyuk
2017 J jnl
Behavioural equivalences for fluid stochastic Petri nets.
CoRR
Igor V. Tarasyuk, Peter Buchholz
2017 — conf
Equivalence and Lumpability of FSPNs.
ASMTA
Falko Bause, Peter Buchholz, Igor V. Tarasyuk, Miklós Telek
2017 J jnl
Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC.
CoRR
Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
2014 J jnl
Performance analysis of concurrent systems in algebra dtsiPBC.
Program. Comput. Softw.
Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
2013 J jnl
Equivalence relations for modular performance evaluation in dtsPBC.
Math. Struct. Comput. Sci.
Igor V. Tarasyuk
2012 — conf
Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC.
PASM/PDMC
Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
2007 J jnl
Stochastic Petri Box Calculus with Discrete Time.
Fundam. Informaticae
Igor V. Tarasyuk
1999 — —
Equivalences for concurrent and distributed systems: a survey of dissertation.
Igor V. Tarasyuk
1998 — conf
Place bisimulation equivalences for design of concurrent and sequential systems.
MFCS Workshop on Concurrency
Igor V. Tarasyuk
1997 Misc conf
Back-Forth Equivalences for Design of Concurrent Systems.
LFCS
Igor V. Tarasyuk