Бисимуляционная эквивалентность систем переходов с реальным временемтезисы доклада