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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2013 IET International Conference on Information and Communications Technologies : April 27-29, 2013, Beijing, China S. 218 - 222
Hauptverfasser:	Zhang, Junming, Long, Shigong, Wang, Kouwu
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Stevenage, UK IET 2013 The Institution of Engineering & Technology
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!