|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
1. |
I. V. Tarasyuk, P. Buchholz, “Logical characterization of fluid equivalences”, Sib. Èlektron. Mat. Izv., 16 (2019), 826–862 |
|
2017 |
2. |
I. V. Tarasyuk, P. Buchholz, “Equivalences for fluid stochastic Petri nets”, Sib. Èlektron. Mat. Izv., 14 (2017), 317–366 |
1
|
|
2006 |
3. |
P. Buchholz, I. V. Tarasyuk, “Equivalences for stochastic Petri nets and stochastic process algebras”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:1 (2006), 14–42 |
1
|
|
Organisations |
|
|