2 search results - page 1 / 1 » Mixing Lossy and Perfect Fifo Channels |
CONCUR
2008
Springer
14 years 29 days ago
2008
Springer
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...
LICS
1993
IEEE
14 years 3 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...