Travelled to:
1 × Portugal
Collaborated with:
F.Herbreteau G.Sutre
Talks about:
structur (1) transit (1) concurr (1) unfold (1) system (1) well (1)
Person: The Quang Tran
DBLP: Tran:The_Quang
Contributed to:
Wrote 1 papers:
- TACAS-2007-HerbreteauST #concurrent
- Unfolding Concurrent Well-Structured Transition Systems (FH, GS, TQT), pp. 706–720.