Composability of Infinite-State Activity Automata* Zhe Dang1, Oscar H. Ibarra2, Jianwen Su2 1Washington State University, Pullman 2University of California, Santa Barbara…