Composability of Infinite-State Activity Automata (2004)

by Z Dang, O H Ibarra, J Su
Venue:of Lecture Notes in Computer Science