A Kleene theorem and model checking algorithms for existentially bounded communicating automata

Authors: 
Kuske, D.
Genest, B.
Muscholl, A.
Year: 
2006
Language: 
English
Appeared / Erschienen in: 
Information and Computation 204 (2006), 920-956.
Abstract link: 
http://www.informatik.uni-leipzig.de/~kuske/pub2006.html#IC