Blaise Genest,,Dietrich Kuske, Anca Muscholl. A Kleene Theorem and Model Checking for a Class of Communicating Automata. Information and Computation, 204(6):920-956, 2006.
[ Partial orders ] [ Scenarios ]
Blaise Genest http://www.irisa.fr/distribcom
@article{GenestKM06,
Author = {Genest, Blaise and Kuske,,Dietrich and Muscholl, Anca},
Title = {A Kleene Theorem and Model Checking for a Class of Communicating Automata},
Journal = {Information and Computation},
Volume = {204},
Number = {6},
Pages = {920--956},
Year = {2006}
}
Get EndNote Reference (.ref)