29 search results - page 1 / 6 » Tree Automata with Memory, Visibility and Structural Constra... |
FOSSACS
2007
Springer
14 years 5 months ago
2007
Springer
Tree automata with one memory have been introduced in
CORR
2008
Springer
13 years 11 months ago
2008
Springer
CADE
2008
Springer
14 years 11 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
IPL
2008
13 years 10 months ago
2008
Streaming validation and querying of XML documents are often based on automata for tree-like structures. We propose a new notion of streaming tree automata in order to unify the t...
ACTA
2010
13 years 11 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...