Lígia Maria Soares Passos, Stéphane Julia, Bruno Francisco Martins da Silva: A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition. SOSE 2019