Sciweavers

Share
FUIN
2007

On Communicating Automata with Bounded Channels

8 years 12 months 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 theory of Mazurkiewicz traces. We investigate the question whether channel bound conditions are decidable for a given communicating finite-state machine.
Blaise Genest, Dietrich Kuske, Anca Muscholl
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2007
Where FUIN
Authors Blaise Genest, Dietrich Kuske, Anca Muscholl
Comments (0)
books