Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms

DOI10.4230/LIPICS.CONCUR.2021.15OpenAlexW3193655279MaRDI QIDQ6134260

Josef Widder, Nathalie Bertrand, Unnamed Author

Publication date: 21 August 2023

Full work available at URL: https://hal.inria.fr/hal-03480241

zbMATH Keywords

verificationdistributed algorithmsdomain theory

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms