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

Authors: 
Kuske, D.
Genest, B.
Muscholl, A.
Year: 
2004
Language: 
English
Appeared / Erschienen in: 
invited talk by A. Muscholl). DLT 2004. 30-48, © Springer Lecture Notes in Computer Science vol. 3340 (2004).
Abstract link: 
http://www.informatik.uni-leipzig.de/~kuske/pub2004.html#DLT1