Sciweavers

CONCUR
2008
Springer

Mixing Lossy and Perfect Fifo Channels

14 years 1 months ago
Mixing Lossy and Perfect Fifo Channels
Abstract. We consider asynchronous networks of finite-state systems communicating via a combination of reliable and lossy fifo channels. Depending on the topology, the reachability problem for such networks may be decidable. We provide a complete classification of network topologies according to whether they lead to a decidable reachability problem. Furthermore, this classification can be decided in polynomial-time.
Pierre Chambart, Ph. Schnoebelen
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2008
Where CONCUR
Authors Pierre Chambart, Ph. Schnoebelen
Comments (0)