Blaise Genest, Anca Muscholl, Zhilin Wu. Verifying Recursive Active Documents with Positive Data Tree Rewriting. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), Kamal Lodaya, Meena Mahajan (eds.), Leibniz International Proceedings in Informatics (LIPIcs), Volume 8, Pages 469-480, Dagstuhl, Germany, 2010.
Keywords: Active documents, Guarded Active XML, verification, data trees, tree rewriting, well-structured systems
Blaise Genest http://www.irisa.fr/distribcom
@InProceedings{GMW10,
Author = {Genest, Blaise and Muscholl, Anca and Wu, Zhilin},
Title = {{Verifying Recursive Active Documents with Positive Data Tree Rewriting}},
BookTitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)},
editor = {Lodaya, Kamal and Mahajan, Meena},
Volume = {8},
Pages = {469--480},
Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
Publisher = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
Address = {Dagstuhl, Germany},
Year = {2010}
}
Get EndNote Reference (.ref)