|
JAIST Repository >
JAIST >
Theses >
Master of Science（Information Science） >
H26) (Jun.2014 - Mar.2015 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/12646
|
| Title: | An Investigation of the Chandy-Lamport Distributed Snapshot Algorithm and its Model Checking [課題研究報告書] |
| Authors: | Zhang, Wenjie |
| Keywords: | distributed snapshot
distributed system
state machine
model checking
reachability property |
| Issue Date: | Mar-2015 |
| Description: | Prof. Kazuhiro Ogata
School of Information Science
Master |
| Title(English): | An Investigation of the Chandy-Lamport Distributed Snapshot Algorithm and its Model Checking [Project Paper] |
| Authors(English): | Zhang, Wenjie |
| Language: | eng |
| URI: | http://hdl.handle.net/10119/12646 |
| Appears in Collections: | M-IS. 2014年度(H26) (Jun.2014 - Mar.2015)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| abstract.pdf | | 102Kb | Adobe PDF | View/Open | | paper.pdf | | 584Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
