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. 30-48 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3340&spage=30 2004 conf/dlt/2004 Developments in Language Theory db/conf/dlt/dlt2004.html#GenestMK04