bisimulation – phrases

Terms for subject Programming containing bisimulation | all forms | exact matches only

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