| |
| 2008 | ||
|---|---|---|
| 7 | EE | Thuy Duong Vu, Li Zhang, Chris R. Jesshope: The Verification of the On-Chip COMA Cache Coherence Protocol. AMAST 2008: 413-429 |
| 6 | EE | Thuy Duong Vu: Denotational semantics for thread algebra. J. Log. Algebr. Program. 74(2): 94-111 (2008) |
| 5 | EE | Thuy Duong Vu: Goto elimination in program algebra. Sci. Comput. Program. 73(2-3): 95-128 (2008) |
| 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] [7] |
| 3 | Li Zhang | [7] |