Reasoning on Semantically Annotated Processes.

Chiara Di Francescomarino, Chiara Ghidini, Marco Rospocher, Luciano Serafini, Paolo Tonella

Browse the full ICSOC paper archive.