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]
@inproceedings{PassosJ14,
title = {Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes},
author = {Ligia Maria Soares Passos and Stéphane Julia},
year = {2014},
doi = {10.1109/ICTAI.2014.55},
url = {http://dx.doi.org/10.1109/ICTAI.2014.55},
researchr = {https://researchr.org/publication/PassosJ14},
cites = {0},
citedby = {0},
pages = {316-320},
booktitle = {26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014},
publisher = {IEEE Computer Society},
isbn = {978-1-4799-6572-4},
}