Sciweavers

FUIN
2007
91views more  FUIN 2007»
14 years 12 days ago
On Communicating Automata with Bounded Channels
Abstract. We review the characterization of communicating finite-state machines whose behaviors have universally or existentially bounded channels. These results rely on the theor...
Blaise Genest, Dietrich Kuske, Anca Muscholl