Author:
Abdulla Parosh Aziz,Jonsson Bengt
Subject
General Computer Science,Theoretical Computer Science
Reference44 articles.
1. P.A. Abdulla, K. C̆erāns, B. Jonsson, T. Yih-Kuen, General decidability theorems for infinite-state systems, in: Proc. 11th IEEE Int. Symp. on Logic in Computer Science, 1996, pp. 313–321.
2. Algorithmic analysis of programs with well quasi-ordered domains;Abdulla;Inform. and Comput.,2000
3. Undecidable verification problems for programs with unreliable channels;Abdulla;Inform. and Comput.,1996
4. Verifying programs with unreliable channels;Abdulla;Inform. and Comput.,1996
5. Decidability of simulation and bisimulation between lossy channel systems and finite state systems;Abdulla,1995
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献