Huimin Lin Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus. [Citation Graph (0, 0)][DBLP] ICALP, 1998, pp:443-454 [Conf]
Huimin Lin A Predicate Spatial Logic and Model Checking for Mobile Processes. [Citation Graph (0, 0)][DBLP] ICTAC, 2004, pp:36-36 [Conf]
Huimin Lin Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus. [Citation Graph (0, 0)][DBLP] TAPSOFT, 1995, pp:187-201 [Conf]
Huimin Lin PAM: A Process Algebra Manipulator. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1995, v:7, n:3, pp:243-259 [Journal]
Huimin Lin Complete inference systems for weak bisimulation equivalences in the pi-calculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2003, v:180, n:1, pp:1-29 [Journal]
Peng Wu 0002, Huimin Lin Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints. [Citation Graph (0, 0)][DBLP] International Journal of Software Engineering and Knowledge Engineering, 2006, v:16, n:5, pp:727-746 [Journal]
Huimin Lin Computing Bisimulations for Finite-Control pi-Calculus. [Citation Graph (0, 0)][DBLP] J. Comput. Sci. Technol., 2000, v:15, n:1, pp:1-9 [Journal]
Huimin Lin A Graphical mu-Calculus and Local Model Checking. [Citation Graph (0, 0)][DBLP] J. Comput. Sci. Technol., 2002, v:17, n:6, pp:665-671 [Journal]