Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch. An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata. In Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, M. Brian Blake, Olivier Perrin, Iman Saleh, Sami Bhiri, editors, Service-Oriented Computing - ICSOC 2014 Workshops - WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers. Volume 8954 of Lecture Notes in Computer Science, pages 295-307, Springer, 2014. [doi]
Abstract is missing.