Terms containing bisimulation

Subject	English	Russian
progr.	algorithm for computing the largest bisimulation	алгоритм вычисления наибольшей бисимуляции (ssn)
progr.	bisimulation equivalence	бисимуляционная эквивалентность (ssn)
progr.	bisimulation equivalent	бисимуляционно эквивалентный (ssn)
progr.	bisimulation equivalent Kripke structure	бисимуляционно эквивалентная модель Крипке (ssn)
progr.	bisimulation of the quotient model	бисимуляция фактор-модели (ssn)
progr.	fair bisimulation	справедливая бисимуляция (ssn)
progr.	largest bisimulation	наибольшая бисимуляция (ssn)
progr.	strong bisimulation equivalence	сильная бисимуляционная эквивалентность (ssn)
progr.	weak bisimulation equivalence	слабая бисимуляционная эквивалентность (ssn)