| No. | Title | Author | Year |
|---|---|---|---|
| 1 | A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die | Goubault, Éric et al. | 2022 |
| 2 | Continuous Tasks and the Asynchronous Computability Theorem | Galeana, Hugo Rincon et al. | 2022 |
| 3 | Distributed Decision Problems: Concurrent Specifications Beyond Binary Relations (Invited Talk) | Rajsbaum, Sergio | 2022 |
| 4 | Locally Solvable Tasks and the Limitations of Valency Arguments | Attiya, Hagit et al. | 2021 |
| 5 | Relaxed Queues and Stacks from Read/Write Operations | Castañeda, Armando et al. | 2021 |
| 6 | Wait-Free Solvability of Equality Negation Tasks | Goubault, Éric et al. | 2019 |
| 7 | Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211) | Esparza, Javier et al. | 2018 |
| 8 | Decentralized Asynchronous Crash-Resilient Runtime Verification | Bonakdarpour, Borzoo et al. | 2016 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 8 |