Farzan, Azadeh
- Proving Liveness of Parameterized Programs
2016/05/08 by Farzan, Azadeh, Kincaid, Zachary, Podelski, Andreas · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Coarser Equivalences for Causal Concurrency
2022/08/25 by Farzan, Azadeh, Mathur, Umang · 2 citations
#D.3.1 #F.3.1 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)