Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ligia Maria Soares Passos, Stéphane Julia. Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes. In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014. pages 316-320, IEEE Computer Society, 2014. [doi]

This author has not been identified. Look up 'Ligia Maria Soares Passos' in GoogleThis author has not been identified. Look up 'Stéphane Julia' in Google

runs on WebDSL