Výsledky vyhľadávania - "Theory of computation → Distributed algorithms phrases Verification"

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

Autori: Bertrand, Nathalie Thomas, Bastien Widder, Josef a ďalší

Prispievatelia: Bertrand, Nathalie Thomas, Bastien Widder, Josef a ďalší

Zdroj: Concur 2021 - International Conference on Concurrency Theory ; https://inria.hal.science/hal-03480241 ; Concur 2021 - International Conference on Concurrency Theory, Aug 2021, Paris, France. pp.1-17, ⟨10.4230/LIPIcs.CONCUR.2021.15⟩

Predmety: Theory of computation → Verification by model checking, Theory of computation → Distributed algorithms phrases Verification, Distributed algorithms, Domain theory, [INFO]Computer Science [cs]

Geografické téma: Paris, France

Dostupnosť: https://inria.hal.science/hal-03480241
https://inria.hal.science/hal-03480241v1/document
https://inria.hal.science/hal-03480241v1/file/main.pdf
https://doi.org/10.4230/LIPIcs.CONCUR.2021.15