Decidability Results in Automata and Process Theory

Yoram Hirshfeld, Faron Moller. Decidability Results in Automata and Process Theory. In Faron Moller, Graham M. Birtwistle, editors, Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings). Volume 1043 of Lecture Notes in Computer Science, pages 102-148, Springer, 1995.

Abstract

Abstract is missing.