| |
| 2007 | ||
|---|---|---|
| 3 | EE | Igor V. Tarasyuk: Stochastic Petri Box Calculus with Discrete Time. Fundam. Inform. 76(1-2): 189-218 (2007) |
| 1998 | ||
| 2 | EE | Igor V. Tarasyuk: Place bisimulation equivalences for design of concurrent and sequential systems. Electr. Notes Theor. Comput. Sci. 18: (1998) |
| 1997 | ||
| 1 | Igor V. Tarasyuk: Back-Forth Equivalences for Design of Concurrent Systems. LFCS 1997: 374-384 | |