scholarly journals Stochastic Parity Games on Lossy Channel Systems

2015 ◽  
Vol 10 (4) ◽  
Author(s):  
Parosh Abdulla ◽  
Lorenzo Clemente ◽  
Richard Mayr ◽  
Sven Sandberg
Keyword(s):  
Parity Games ◽  
Lossy Channel ◽  
Channel Systems

scholarly journals Stochastic Parity Games on Lossy Channel Systems

2013 ◽  
pp. 338-354 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Lorenzo Clemente ◽  
Richard Mayr ◽  
Sven Sandberg
Keyword(s):  
Parity Games ◽  
Lossy Channel ◽  
Channel Systems

scholarly journals Quantitative analysis of probabilistic lossy channel systems

2006 ◽  
Vol 204 (5) ◽  
pp. 713-740 ◽  
Author(s):  
Alexander Rabinovich
Keyword(s):  
Quantitative Analysis ◽  
Lossy Channel ◽  
Channel Systems

Reasoning about Probabilistic Lossy Channel Systems

2000 ◽  
pp. 320-333 ◽  
Author(s):  
Parosh Abdulla ◽  
Christel Baier ◽  
Purushothaman Iyer ◽  
Bengt Jonsson
Keyword(s):  
Lossy Channel ◽  
Channel Systems
Sign in / Sign up

Export Citation Format

Share Document