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]

@inproceedings{GenestMK04,
  title = {A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms},
  author = {Blaise Genest and Anca Muscholl and Dietrich Kuske},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3340&spage=30},
  researchr = {https://researchr.org/publication/GenestMK04},
  cites = {0},
  citedby = {0},
  pages = {30-48},
  booktitle = {Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings},
  editor = {Cristian Calude and Elena Calude and Michael J. Dinneen},
  volume = {3340},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-24014-4},
}