A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition. - Vinícius Ferreira de Oliveira; Stéphane Julia; Lígia Maria Soares Passos; Kênia Santos de Oliveira (ICEIS (2), 2017)

Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound. - Kênia Santos de Oliveira; Vinícius Ferreira de Oliveira; Stéphane Julia (ICEIS (2), 2017)