Zhe Dang, Oscar H. Ibarra, Jianwen Su. Composability of Infinite-State Activity Automata. In Rudolf Fleischer, Gerhard Trippen, editors, Algorithms and Computation, 15th International Symposium, ISAAC 2004, HongKong, China, December 20-22, 2004, Proceedings. Volume 3341 of Lecture Notes in Computer Science, pages 377-388, Springer, 2004. [doi]
Abstract is missing.