2 search results - page 1 / 1 » Micro-Macro Stack Systems: A New Frontier of Elementary Deci... |
LICS
2003
IEEE
13 years 9 months ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
FOSSACS
2001
Springer
13 years 8 months ago
2001
Springer
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...