Funder
Grantová Agentura České Republiky
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference20 articles.
1. A regularity test for pushdown machines;Stearns;Inf. Control,1967
2. Regularity and related problems for deterministic pushdown automata;Valiant;J. ACM,1975
3. L(A) = L(B)? Decidability results from complete formal systems;Sénizergues;Theor. Comput. Sci.,2001
4. Communication and Concurrency;Milner,1989
5. Roadmap of infinite results;Srba,2004
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification and Fault Analysis based on Combination of AADL and Modelica;Journal of Physics: Conference Series;2022-06-01
2. Equivalence of pushdown automata via first-order grammars;Journal of Computer and System Sciences;2021-02
3. Bisimulation Finiteness of Pushdown Systems Is Elementary;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08