Model Checking Chandy-Lamport Distributed Snapshot Algorithm Revisited

Chandy and Lamport have proposed a distributed snapshot algorithm (called CLDSA). One desired property of CLDSA is as follows. Let s1 be the state in which CLDSA initiates, s2 be the state in which CLDSA terminates, and s* be the snapshot taken, and then s* is reachable from s1 and s2 is reachable f...

Celý popis

Podrobná bibliografia

Vydané v:	DCIT 2015 : proceedings : 2015 second International Symposium on Dependable Computing and Internet of Things : 16-19 November 2015, Wuhan, Hubei, China s. 30 - 39
Hlavní autori:	Thu Doan, Ha Thi, Zhang, Wenjie, Zhang, Min, Ogata, Kazuhiro
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.11.2015
Predmet:	Computational modeling Computers distributed snapshot algorithm Electronic mail Internet of things Model checking Multiuser detection reachability Software algorithms state machine
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!