Mahdi Jaghoori
- Decidability Problems for Actor Systems
2014/09/30 by Frank de Boer, Frank De Boer, Mahdi Jaghoori +2 · 14 citations
Computer Science · Mathematics · #Bounded function #Completeness (order theory) #Computer science #Decidability #Discrete mathematics #Expressive power #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Programming language #State (computer science) #Stateless protocol #Theoretical computer science #Turing #cs.LO #cs.PL #semigroups and automata theory