Workshop on Formal Reasoning in Distributed Algorithms (FRiDA)
Event name
Workshop on Formal Reasoning in Distributed Algorithms (FRiDA)
Event type
Event for scientific audience
Start date
23-07-2014
End date
24-07-2014
Location
Wien
Country
Austria
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina | Byzantine Causal Cone | Präsentation Presentation | 2019 | |
| 2 | Rubin, Sasha | Parameterised Verification of Robot Protocols: An Automata Theoretic Approach | Präsentation Presentation | 2014 | |
| 3 | Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef | Parameterized Verification of Liveness of Distributed Algorithms | Präsentation Presentation | 2016 |