- On the Connections between Rewriting and Formal Language Theory Friedrich Otto Mon 15 October 2012
- Pushdown Specifications Orna Kupferman Nir Piterman Moshe Vardi Mon 15 October 2012
- Branching pushdown tree automata Rajeev Alur Swarat Chaudhuri Mon 15 October 2012
- Pushdown tree automata Irène Guessarian Mon 15 October 2012
- On pushdown tree automata Irène Guessarian Mon 15 October 2012
- Tree pushdown automata Karl M. Schimpf Jean H. Gallier Mon 15 October 2012
- Visibly Pushdown Languages and Term Rewriting Jacques Chabin Pierre Réty Thu 11 October 2012
- Deadlock detection in communicating finite state machines by even reachability analysis Wuxu Peng Thu 11 October 2012
- Widening techniques for regular tree model checking Ahmed Bouajjani Tayssir Touili Thu 11 October 2012
- The simply typed rewriting calculus Horatiu Cirstea Claude Kirchner Thu 11 October 2012
- Unboundedness detection for a class of communicating finite-state machines Yao-Tin Yu Mohamed G. Gouda Thu 11 October 2012
- On Deadlock Detection in Systems of Communicating Finite State Machines Mohamed Gouda Eitan Gurari Ten-Hwang Lai Louis Rosier Thu 11 October 2012
- Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems Patricia Bouyer François Laroussinie Pierre-Alain Reynier Thu 11 October 2012
- Updatable Timed Automata with Additive and Diagonal Constraints Lakshmi Manasa Shankara Narayanan Krishna Kumar Nagaraj Thu 11 October 2012
- First-Order Model Checking on Generalisations of Pushdown Graphs Alexander Kartzow Thu 11 October 2012
- A generalization of the procedure of Karp and Miller to well structured transition systems A. Finkel Mon 08 October 2012
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations Ahmed Bouajjani Peter Habermehl Mon 08 October 2012
- Verification of programs with half-duplex communication Gérard Cécé Alain Finkel Mon 08 October 2012
- Testing for unboundedness of fifo channels Thierry Jéron Claude Jard Mon 08 October 2012
- A survey on the decidability questions for classes of fifo nets A. Finkel L. Rosier Mon 08 October 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
