Igor V. Tarasyuk

According to our database, Igor V. Tarasyuk authored at least 11 papers between 1997 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Discrete time stochastic and deterministic Petri box calculus.

Igor V. Tarasyuk

CoRR, 2019

2017

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC.

Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz

CoRR, 2017

Behavioural equivalences for fluid stochastic Petri nets.

Igor V. Tarasyuk, Peter Buchholz

CoRR, 2017

Equivalence and Lumpability of FSPNs.

Falko Bause, Peter Buchholz, Igor V. Tarasyuk, Miklós Telek

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2017

2014

Performance analysis of concurrent systems in algebra dtsiPBC.

Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz

Program. Comput. Softw., 2014

2013

Equivalence relations for modular performance evaluation in dtsPBC.

Igor V. Tarasyuk

Math. Struct. Comput. Sci., 2013

2012

Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC.

Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

2007

Stochastic Petri Box Calculus with Discrete Time.

Igor V. Tarasyuk

Fundam. Informaticae, 2007

1999

Equivalences for concurrent and distributed systems: a survey of dissertation.

Igor V. Tarasyuk

PhD thesis, 1999

1998

Place bisimulation equivalences for design of concurrent and sequential systems.

Igor V. Tarasyuk

Proceedings of the MFCS '98 Workshop on Concurrency, 1998

1997

Back-Forth Equivalences for Design of Concurrent Systems.

Igor V. Tarasyuk

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997