关注
Matthew Alan Le Brun
Matthew Alan Le Brun
University of Glasgow
在 research.gla.ac.uk 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
系统目前无法执行此操作，请稍后再试。
文章 1–4