5 search results - page 1 / 1 » Establishing Qualitative Properties for Probabilistic Lossy ... |
ARTS
1999
Springer
1999
Springer
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
13 years 9 months ago
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...
IPL
2006
13 years 4 months ago
2006
In the past 5 years, a series of verification algorithms has been proposed for infinite Markov chains that have a finite attractor, i.e., a set that will be visited infinitely oft...
P2P
2005
IEEE
13 years 10 months ago
2005
IEEE
The success of the P2P idea has created a huge diversity of approaches, among which overlay networks, for example, Gnutella, Kazaa, Chord, Pastry, Tapestry, P-Grid, or DKS, have r...
ICALP
2009
Springer
14 years 5 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...