Searching for authors named "Huimin Lin" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
"On-The-Fly Instantiation" of Value-Passing Processes
- …"ON-THE-FLY INSTANTIATION" OF VALUE-PASSING PROCESSES Huimin Lin Laboratory for Computer Science…
- Add To MetaCart
-
Computing Bisimulations for Finite-Control pi-Calculus
- …Computing Bisimulations for Finite-Control -Calculus Huimin Lin Laboratory for Computer Science…
- Add To MetaCart
-
A Predicate µ-Calculus for Mobile Ambients and Model Checking
- …A Predicate -Calculus for Mobile Ambients and Model Checking Huimin Lin Laboratory for Computer…
- Add To MetaCart
-
Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus
- …Complete Inference Systems for Weak Bisimulation Equivalences in the -Calculus Huimin Lin…
- Cited by 25 (3 self) – Add To MetaCart
-
PAM: A Process Algebra Manipulator
- …PAM: A Process Algebra Manipulator Huimin Lin Computer Science School of Cognitive and Computing…
- Cited by 14 (0 self) – Add To MetaCart
-
Model Checking Value-passing Processes
- …Model Checking Value-passing Processes Huimin Lin Laboratory for Computer Science Institute…
- Cited by 2 (0 self) – Add To MetaCart
-
Symbolic Transition Graph with Assignment
- …Symbolic Transition Graph with Assignment Huimin Lin Laboratory for Computer Science Institute…
- Cited by 19 (2 self) – Add To MetaCart
-
A Symbolic Approach to Value-Passing Processes
- … Aalborg University Huimin Lin Laboratory for Computer Science Institute of Software, Chinese Academy…
- Cited by 7 (0 self) – Add To MetaCart
-
A Proof System for Timed Automata
- …A Proof System for Timed Automata Huimin Lin 1? Wang Yi 2 1 Laboratory for Computer Science…
- Cited by 2 (1 self) – Add To MetaCart
-
Axiomatising Timed Automata
- …Axiomatising Timed Automata Huimin Lin y Laboratory for Computer Science Inst. of Software…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
