Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent A classification of the expressive power of well-structured transition systems. (English) Zbl 1217.68146 Inf. Comput. 209, No. 3, 248-279 (2011). MSC: 68Q85 68Q42 68Q45 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., Inf. Comput. 209, No. 3, 248--279 (2011; Zbl 1217.68146) Full Text: DOI
Abdulla, P. A.; Bertrand, N.; Rabinovich, A.; Schnoebelen, Ph. Verification of probabilistic systems with faulty communication. (English) Zbl 1105.68003 Inf. Comput. 202, No. 2, 141-165 (2005). MSC: 68M12 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., Inf. Comput. 202, No. 2, 141--165 (2005; Zbl 1105.68003) Full Text: DOI
Abdulla, Parosh; Baier, Christel; Iyer, S. Purushothaman; Jonsson, Bengt Simulating perfect channels with probabilistic lossy channels. (English) Zbl 1073.68058 Inf. Comput. 197, No. 1-2, 22-40 (2005). MSC: 68Q85 60J10 60J20 PDFBibTeX XMLCite \textit{P. Abdulla} et al., Inf. Comput. 197, No. 1--2, 22--40 (2005; Zbl 1073.68058) Full Text: DOI
Abdulla, Parosh Aziz; Čerāns, Kārlis; Jonsson, Bengt; Tsay, Yih-Kuen Algorithmic analysis of programs with well quasi-ordered domains. (English) Zbl 1046.68567 Inf. Comput. 160, No. 1-2, 109-127 (2000). MSC: 68Q45 68Q60 03B25 68Q55 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., Inf. Comput. 160, No. 1--2, 109--127 (2000; Zbl 1046.68567) Full Text: DOI
Abdulla, Parosh Aziz; Jonsson, Bengt Undecidable verification problems for programs with unreliable channels. (English) Zbl 0872.68112 Inf. Comput. 130, No. 1, 71-90 (1996). MSC: 68Q60 PDFBibTeX XMLCite \textit{P. A. Abdulla} and \textit{B. Jonsson}, Inf. Comput. 130, No. 1, 71--90 (1996; Zbl 0872.68112) Full Text: DOI
Abdulla, Parosh Aziz; Jonsson, Bengt Verifying programs with unreliable channels. (English) Zbl 0856.68096 Inf. Comput. 127, No. 2, 91-101 (1996). MSC: 68Q60 PDFBibTeX XMLCite \textit{P. A. Abdulla} and \textit{B. Jonsson}, Inf. Comput. 127, No. 2, 91--101 (1996; Zbl 0856.68096) Full Text: DOI Link