GenestKM07

Blaise Genest,,Dietrich Kuske, Anca Muscholl. On Communicating Automata with Bounded Channels. Fundamenta Informaticae, IOS Press, 80:1-21, 2007.

Keywords

[ Partial orders ] [ Scenarios ]

Contact

Blaise Genest http://www.irisa.fr/distribcom

BibTex Reference

@article{GenestKM07,
   Author = {Genest, Blaise and Kuske,,Dietrich and Muscholl, Anca},
   Title = {On Communicating Automata with Bounded Channels},
   Journal = {Fundamenta Informaticae, IOS Press},
   Volume = {80},
   Pages = {1--21},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)