Ciccone, Luca
- Fair Termination of Multiparty Sessions
2022/05/18 by Luca Ciccone, Francesco Dagnino, Ciccone, Luca +3 · 2 citations
Business, Management and Accounting · #Dispute Resolution and Class Actions #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus
2022/07/08 by Ciccone, Luca, Padovani, Luca · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)