Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level

The paper proposes a new approach to model checking Chandy-Lamport Distributed Snapshot Algorithm (CLDSA). The essential of the approach is that CLDSA is specified as a meta-program in Maude such that the meta-program takes a specification of an underlying distributed system (UDS) and generates the...

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings of the International Conference on Distributed Computing Systems s. 1586 - 1596
Hlavní autori:	Thu Doan, Ha Thi, Ogata, Kazuhiro, Bonnet, Francois
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.06.2017
Predmet:	Computational modeling Conferences Distributed algorithms Distributed computing distributed snapshot algorithm Electronic mail meta-programming Model checking reachability Reliability system specification
ISSN:	1063-6927
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!