Giuliano Losa
- Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols
2023/09/11 by Francesco D’Amato, Giuliano Losa, D'Amato, Francesco +3 · 1 citation
Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #Petri Nets in System Modeling #Real-Time Systems Scheduling #and Cluster Computing (cs.DC)
- Optimistic, Signature-Free Reliable Broadcast and Its Applications
2025/05/05 by Nibesh Shrestha, Qianyu Yu, Shrestha, Nibesh +9 · 2 citations
Biochemistry, Genetics and Molecular Biology · Engineering · #DNA and Biological Computing #Advanced Wireless Communication Techniques
- Show Me The Money: An Exercise in Proof-Driven Software Understanding
2026/07/17 by Joseph Tafese, Karthik Nukala, Hassen Saïdi +3
#cs.LO #cs.SE