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

Blaise Genest, Anca Muscholl, Dietrich Kuske

Browse the full DLT paper archive.