Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vázquez Sandoval. Reasoning on Incomplete Execution Traces Using Action Languages - A First Report. 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 185-191, Springer, 2014. [doi]
Abstract is missing.