79 search results - page 1 / 16 » Quantitative Analysis of Probabilistic Lossy Channel Systems |
ICALP
2003
Springer
13 years 10 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
FOSSACS
2008
Springer
13 years 6 months ago
2008
Springer
We consider turn-based stochastic games on infinite graphs induced by game probabilistic lossy channel systems (GPLCS), the game version of probabilistic lossy channel systems (PLC...
ARTS
1999
Springer
1999
Springer
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
13 years 9 months ago
FOSSACS
2003
Springer
13 years 10 months ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
QEST
2006
IEEE
13 years 10 months ago
2006
IEEE
We consider discrete infinite-state Markov chains which contain an eager finite attractor. A finite attractor is a finite subset of states that is eventually reached with prob...