Subject
General Computer Science,Theoretical Computer Science
Reference30 articles.
1. On-the-fly analysis of systems with unbounded, lossy fifo channels;Abdulla,1998
2. P. Abdulla, B. Jonsson, Verifying programs with unreliable channels, in: LICS’93, IEEE, New York, 1993.
3. Undecidable verification problems for programs with unreliable channels;Abdulla;Inform. and Comput.,1996
4. A. Bouajjani, P. Habermehl, Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations, in: Proc. ICALP’97, Lecture Notes in Computer Science, Vol. 1256, Springer, Berlin, 1997.
5. A. Bouajjani, R. Mayr, Model checking lossy vector addition systems, in: Proc. STACS’99, Lecture Notes in Computer Science, Vol. 1563, Springer, Berlin, 1999.
Cited by
72 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 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
2. Verifying Unboundedness via Amalgamation;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Reactive Synthesis of Smart Contract Control Flows;Automated Technology for Verification and Analysis;2023
4. Determinisability of register and timed automata;Logical Methods in Computer Science;2022-05-10
5. On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words;Fundamenta Informaticae;2022-01-10