Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. J. Bergstra and J. Klop. Process theory based on bisimulation semantics. Volume 354 of LNCS, 1988.
2. O. Burkart and B. Steffen. Model checking for context-free processes. In CONCUR '92, volume 630 of LNCS, pages 123–137, 1992.
3. O. Burkart and B. Steffen. Pushdown processes: Parallel composition and model checking. In CONCUR '94, volume 836 of LNCS, 1994.
4. A. K. Chandra, D. C. Kozen, and L. J. Stockmeyer. Alternation. Journal of the ACM, 28(1):114–133, 1981.
5. S. Christiensen and H. Huttel. Deciding issues for infinite-state processes-a survey. Bulletin of EATCS, 51:156–166, October 1993.
Cited by
74 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Positional ω-regular languages;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Interval Temporal Logic for Visibly Pushdown Systems;ACM Transactions on Computational Logic;2023-04-17
3. Stack-Aware Hyperproperties;Tools and Algorithms for the Construction and Analysis of Systems;2023
4. LTL Model Checking for Register Pushdown Systems;IEICE Transactions on Information and Systems;2021-12-01
5. Collapsible Pushdown Parity Games;ACM Transactions on Computational Logic;2021-06-24