Travelled to:
1 × USA
Collaborated with:
V.K.Garg
Talks about:
algorithm (1) parallel (1) concurr (1) system (1) global (1) enumer (1) state (1)
Person: Yen-Jung Chang
DBLP: Chang:Yen=Jung
Contributed to:
Wrote 1 papers:
- PPoPP-2015-ChangG #algorithm #concurrent #parallel
- A parallel algorithm for global states enumeration in concurrent systems (YJC, VKG), pp. 140–149.