Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
pushdown_systems [2007/05/05 13:31] vkuncak created |
pushdown_systems [2007/05/05 13:32] (current) vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Pushdown systems ====== | ||
+ | |||
+ | Push down automaton and context-free grammars. | ||
+ | |||
+ | Summary of results. | ||
* [[http://deposit.ddb.de/cgi-bin/dokserv?idn=96638976X|Stefan Schwoon's thesis: Model-Checking Pushdown Systems]] | * [[http://deposit.ddb.de/cgi-bin/dokserv?idn=96638976X|Stefan Schwoon's thesis: Model-Checking Pushdown Systems]] | ||
* [[http://homepages.inf.ed.ac.uk/kousha/toplas2005.pdf|R. Alur, M. Benedikt, K. Etessami, P. Godefroid, T. Reps, and M. Yannakakis. Analysis of Recursive State Machines]] | * [[http://homepages.inf.ed.ac.uk/kousha/toplas2005.pdf|R. Alur, M. Benedikt, K. Etessami, P. Godefroid, T. Reps, and M. Yannakakis. Analysis of Recursive State Machines]] | ||