Výsledky vyhledávání - "• Theory of computation → Distributed computing models"
-
1
On implementing SWMR registers from SWSR registers in systems with Byzantine failures
ISSN: 0178-2770, 1432-0452Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2024Vydáno v Distributed computing (01.06.2024)“…The implementation of registers from (potentially) weaker registers is a classical problem in the theory of distributed computing. Since Lamport’s pioneering…”
Získat plný text
Journal Article -
2
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact)
ISSN: 2509-8195Vydáno: Schloss Dagstuhl – Leibniz-Zentrum für Informatik 23.06.2022“…We introduce CAScr, the first implementation of Scribble (http://www.scribble.org, https://nuscr.dev/) that relies on choreography automata, for deadlock-free…”
Získat plný text
Soubor dat