Thesis or Dissertation Revisiting Model Checking of Chandy-Lamport Distributed Snapshot Algorithm

Doan, Thi Thu Ha

2015-09
Description
Supervisor:Kazuhiro Ogata
情報科学研究科
修士
Full-Text

https://dspace.jaist.ac.jp/dspace/bitstream/10119/12928/4/abstract.pdf

https://dspace.jaist.ac.jp/dspace/bitstream/10119/12928/5/paper.pdf

Number of accesses :  

Other information