Sylvain Hallé, Roger Villemaire. XML Methods for Validation of Temporal Properties on Message Traces with Data. In Robert Meersman, Zahir Tari, editors, On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I. Volume 5331 of Lecture Notes in Computer Science, pages 337-353, Springer, 2008. [doi]
Abstract is missing.