Liveness in broadcast networks

We study liveness and model checking problems for broadcast networks, a system model of identical clients communicating via message passing. The first problem that we consider is Liveness Verification . It asks whether there is a computation such that one clients visits a final state infinitely ofte...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Computing Ročník 104; číslo 10; s. 2203 - 2223
Hlavní autori:	Chini, Peter, Meyer, Roland, Saivasan, Prakash
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Vienna Springer Vienna 01.10.2022 Springer Nature B.V
Predmet:	Algorithms Artificial Intelligence Clients Communication Computation Computer Appl. in Administrative Data Processing Computer Communication Networks Computer Science Information Systems Applications (incl.Internet) Iterative methods Linear programming Message passing Networks Polynomials Software Engineering Special Issue Article Specifications Temporal logic Verification Broadcast networks Model checking 68Q45 Liveness verification 68Q17
ISSN:	0010-485X, 1436-5057
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!