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á bibliografie

Vydáno 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í autoři:	Thu Doan, Ha Thi, Zhang, Wenjie, Zhang, Min, Ogata, Kazuhiro
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.11.2015
Témata:	Computational modeling Computers distributed snapshot algorithm Electronic mail Internet of things Model checking Multiuser detection reachability Software algorithms state machine
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!