29 search results - page 1 / 6 » Tree Automata with Memory, Visibility and Structural Constra... |
FOSSACS
2007
Springer
14 years 1 months ago
2007
Springer
Tree automata with one memory have been introduced in
CORR
2008
Springer
13 years 7 months ago
2008
Springer
CADE
2008
Springer
14 years 7 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 7 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 7 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...