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. In 13th IEEE International Conference on Service-Oriented System Engineering, SOSE 2019, San Francisco, CA, USA, April 4-9, 2019. IEEE, 2019. [doi]
Abstract is missing.