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

Elaine Li

  1. Complete Multiparty Session Type Projection with Automata
    2023/05/26 by Elaine Li, Felix Stutz, Li, Elaine +5 · 6 citations
    Computer Science · #Formal Methods in Verification #Distributed systems and fault tolerance #Logic, programming, and type systems
  2. Characterizing Implementability of Global Protocols with Infinite States and Data
    2024/11/08 by Elaine Li, Li, Elaine, Felix Stutz +5 · 1 citation
    Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Mobile Agent-Based Network Management #Petri Nets in System Modeling #Programming Languages (cs.PL)