Home > Seminars > [Equivalence checking algorithms for processes]
2011
December 10, 2011. Room 3-318 Dianxin Building. 9:10am.
The general approach for Bisimulation Equivalence Checking. Speaker: Mr. Minzhang Huang
December 4, 2011. Room 3-318 Dianxin Building. 9:10am.
Tableau Decision Method for Bisimulation Equivalence Checking. Speaker: Mr. Qiang Yin
October 12, 2011. Room 3-318 Dianxin Building. 1:30pm.
Equivalence checking algorithms for finite state processes. Speaker: Dr. Chaodong He
September 29, 2011. Room 3-318 Dianxin Building. 1:30pm.
Three partition refinement algorithms(Robert Paigef, Robert E. Tarjan 1987). Speaker: Dr. Chaodong He