![]() |
| 2007 | ||
|---|---|---|
| 4 | EE | Thuy Duong Vu, Chris R. Jesshope: Formalizing SANE Virtual Processor in Thread Algebra. ICFEM 2007: 345-365 |
| 3 | EE | Thuy Duong Vu: Deciding orthogonal bisimulation. Formal Asp. Comput. 19(4): 475-485 (2007) |
| 2005 | ||
| 2 | EE | Thuy Duong Vu: The compression structure of a process. Inf. Process. Lett. 96(6): 225-229 (2005) |
| 2003 | ||
| 1 | EE | Wan Fokkink, Thuy Duong Vu: Structural operational semantics and bounded nondeterminism. Acta Inf. 39(6-7): 501-516 (2003) |
| 1 | Wan Fokkink | [1] |
| 2 | Chris R. Jesshope | [4] |