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ženo v:

Podrobná bibliografie
Vydáno v:	2013 IET International Conference on Information and Communications Technologies : April 27-29, 2013, Beijing, China s. 218 - 222
Hlavní autoři:	Zhang, Junming, Long, Shigong, Wang, Kouwu
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Stevenage, UK IET 2013 The Institution of Engineering & Technology
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!