Travelled to:1 × USA
Collaborated with:T.N.Win M.D.Ernst S.J.Garland N.A.Lynch
Talks about:distribut (1) algorithm (1) verifi (1) execut (1) simul (1) use (1)
Person: Dilsun Kirli Kaynar
DBLP: Kaynar:Dilsun_Kirli
Contributed to:
2003Wrote 1 papers:
- VMCAI-2003-WinEGKL #algorithm #distributed #execution #using #verification
- Using Simulated Execution in Verifying Distributed Algorithms (TNW, MDE, SJG, DKK, NAL), pp. 283–297.