A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms

Blaise Genest, Anca Muscholl, Dietrich Kuske. A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. In Cristian Calude, Elena Calude, Michael J. Dinneen, editors, Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings. Volume 3340 of Lecture Notes in Computer Science, pages 30-48, Springer, 2004. [doi]

Authors

Blaise Genest

This author has not been identified. Look up 'Blaise Genest' in Google

Anca Muscholl

This author has not been identified. Look up 'Anca Muscholl' in Google

Dietrich Kuske

This author has not been identified. Look up 'Dietrich Kuske' in Google