Reachability and Safety in Queue Systems

Oscar H. Ibarra. Reachability and Safety in Queue Systems. In Sheng Yu, Andrei Paun, editors, Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers. Volume 2088 of Lecture Notes in Computer Science, pages 145-156, Springer, 2000. [doi]

Abstract

Abstract is missing.