Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings. | 0 | 0.34 | 2020 |
Paxos Consensus, Deconstructed and Abstracted. | 0 | 0.34 | 2018 |
Compositional Verification of Compiler Optimisations on Relaxed Memory. | 0 | 0.34 | 2018 |
Proving Linearizability Using Partial Orders. | 0 | 0.34 | 2017 |
Consistency models with global operation sequencing and their composition (extended version). | 0 | 0.34 | 2017 |
Linearizability with Ownership Transfer | 0 | 0.34 | 2013 |