vix.ing · top · new · best · stats · spec

Mukund, Madhavan

  1. Generalising Projection in Asynchronous Multiparty Session Types
    2021/07/08 by Majumdar, Rupak, Mukund, Madhavan, Stutz, Felix +1 · 1 citation
    #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Programming Languages (cs.PL)