Scalas, Alceste

1. Precise Subtyping for Asynchronous Multiparty Sessions
   2020/10/26 by Ghilezan, Silvia, Pantović, Jovanka, Prokić, Ivan +2 · 3 citations
   #F.3.2 #F.3.3 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. A formal model of Algorand smart contracts
   2020/09/25 by Bartoletti, Massimo, Bracciali, Andrea, Lepore, Cristian +2 · 2 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
3. Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)
   2022/07/05 by Barwell, Adam D., Scalas, Alceste, Yoshida, Nobuko +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)