Thuy Duong Vu

	2009
8		Thuy Duong Vu: Thread algebra for noninterference. ITA 43(2): 249-268 (2009)
	2008
7		Thuy Duong Vu, Li Zhang, Chris R. Jesshope: The Verification of the On-Chip COMA Cache Coherence Protocol. AMAST 2008: 413-429
6		Thuy Duong Vu: Denotational semantics for thread algebra. J. Log. Algebr. Program. 74(2): 94-111 (2008)
5		Thuy Duong Vu: Goto elimination in program algebra. Sci. Comput. Program. 73(2-3): 95-128 (2008)
	2007
4		Thuy Duong Vu, Chris R. Jesshope: Formalizing SANE Virtual Processor in Thread Algebra. ICFEM 2007: 345-365
3		Thuy Duong Vu: Deciding orthogonal bisimulation. Formal Asp. Comput. 19(4): 475-485 (2007)
	2005
2		Thuy Duong Vu: The compression structure of a process. Inf. Process. Lett. 96(6): 225-229 (2005)
	2003
1		Wan Fokkink, Thuy Duong Vu: Structural operational semantics and bounded nondeterminism. Acta Inf. 39(6-7): 501-516 (2003)

Coauthor Index

1	Wan Fokkink	[1]
2	Chris R. Jesshope	[4] [7]
3	Li Zhang	[7]

Colors in the list of coauthors