Suchergebnisse - "Theory of computation → Distributed algorithms phrases Verification"

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

Autoren: Bertrand, Nathalie Thomas, Bastien Widder, Josef et al.

Weitere Verfasser: Bertrand, Nathalie Thomas, Bastien Widder, Josef et al.

Quelle: 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⟩

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

Geographisches Schlagwort: Paris, France

Verfügbarkeit: 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