Seguir
Matthew Alan Le Brun
Matthew Alan Le Brun
Dirección de correo verificada de research.gla.ac.uk
Título
Citado por
Citado por
Año
MAG: Types for Failure-Prone Communication
MA Le Brun, O Dardha
European Symposium on Programming, 363-391, 2023
92023
Graft: general purpose raft consensus in Elixir
MA Le Brun, DP Attard, A Francalanza
Proceedings of the 20th ACM SIGPLAN international workshop on Erlang, 2-14, 2021
72021
MAG!: The Role of Replication in Typing Failure-Prone Communication
MA Le Brun, O Dardha
International Conference on Formal Techniques for Distributed Objects …, 2024
2024
On implementing and evaluating the raft distributed consensus algorithm
MA Le Brun
University of Malta, 2020
2020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4