Igor V. Tarasyuk

14 papers Misc 1Journal 9Unranked 3

Year	Rank	Type	Title / 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

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz