Li, Elaine
- Complete Multiparty Session Type Projection with Automata
2023/05/26 by Elaine Li, Felix Stutz, Li, Elaine +5 · 7 citations
Computer Science · #Formal Methods in Verification #Distributed systems and fault tolerance #Logic, programming, and type systems
- Deciding Subtyping for Asynchronous Multiparty Sessions
2024/01/29 by Elaine Li, Li, Elaine, Felix Stutz +3 · 2 citations
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Model-Driven Software Engineering Techniques
- Characterizing Implementability of Global Protocols with Infinite States and Data
2024/11/08 by Elaine Li, Felix Stutz, Li, Elaine +5 · 2 citations
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)