scholarly journals An Improved Search Strategy for Lossy Channel Systems

1997 ◽  
pp. 251-264 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Mats Kindahl ◽  
Doron Peled
Keyword(s):  
Search Strategy ◽  
Lossy Channel ◽  
Channel Systems

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 Probabilistic lossy channel systems

1997 ◽  
pp. 667-681 ◽  
Author(s):  
Purush Iyer ◽  
Murali Narasimha
Keyword(s):  
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

scholarly journals Using Forward Reachability Analysis for Verification of Lossy Channel Systems

2004 ◽  
Vol 25 (1) ◽  
pp. 39-65 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Aurore Collomb-Annichini ◽  
Ahmed Bouajjani ◽  
Bengt Jonsson
Keyword(s):  
Reachability Analysis ◽  
Lossy Channel ◽  
Channel Systems
Sign in / Sign up

Export Citation Format

Share Document