Well-structured transition systems everywhere!-Reference-Cited by-同舟云学术

Well-structured transition systems everywhere!

Published:2001-04 Issue:1-2 Volume:256 Page:63-92
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Finkel A.,Schnoebelen Ph.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference62 articles.

1. P.A. Abdulla, K. C̆erāns, B. Jonsson, T. Yih-Kuen, General decidability theorems for infinite-state systems, Proc. 11th IEEE Symp. Logic in Computer Science (LICS’96), New Brunswick, NJ, USA, July 1996, pp. 313–321.

2. P.A. Abdulla, K. C̆erāns, B. Jonsson, T. Yih-Kuen, Algorithmic analysis of programs with well quasi-ordered domains, Inform. and Comput., to appear.

3. P.A. Abdulla, B. Jonsson, Verifying programs with unreliable channels, Proc. 8th IEEE Symp. Logic in Computer Science (LICS’93), Montreal, Canada, June 1993, pp. 160–170.

4. Undecidability of verifying programs with unreliable channels;Abdulla,1994

5. Ensuring completeness of symbolic verification methods for infinite-state systems;Abdulla;Theor. Comput. Sci.,2001

Cited by 489 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata;Lecture Notes in Computer Science;2024-09-11

2. Reachability Analysis in Micro-Stipula;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

3. Slice closures of indexed languages and word equations with counting constraints;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

4. Contextual Equivalence for State and Control via Nested Data;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

5. Decidability and Complexity of Decision Problems for Affine Continuous VASS;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08