The safety and liveness properties of the network protocol based on TLA

We propose a definition of the class of all fairness properties of concurrent systems. In this work, we introduce to the fair transition system, and then discuss the relation among safety property, liveness property and fairness property in the temporal logic of actions. On the way, we give a recent...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	2013 IET International Conference on Information and Communications Technologies : April 27-29, 2013, Beijing, China s. 218 - 222
Hlavní autori:	Zhang, Junming, Long, Shigong, Wang, Kouwu
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Stevenage, UK IET 2013 The Institution of Engineering & Technology
Predmet:	Formal logic Formal methods Parallel programming and algorithm theory Parallel software Protocols network protocol temporal specification distributed processing temporal logic liveness property formal specification TLA-based protocol distributed computing formal verification model checking fairness property concurrent systems temporal logic of actions safety property protocols ring-based leader election protocol
ISBN:	1849196532, 9781849196536
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!