| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
|
|||
|
Do process models behave identically? Algorithmics and Decidability of Bisimulation Equivalences Irina Lomazova |
|||
|
Website: https://cs.hse.ru/announcements/620041704.html |
|||
