Petros Papapanagiotou, Jacques D. Fleuriot
WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition
CADE, 2017.
@inproceedings{CADE-2017-PapapanagiotouF, author = "Petros Papapanagiotou and Jacques D. Fleuriot", booktitle = "{Proceedings of the 26th International Conference on Automated Deduction}", doi = "10.1007/978-3-319-63046-5_22", isbn = "['978-3-319-63045-8', '978-3-319-63046-5']", pages = "357--370", publisher = "{Springer}", title = "{WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition}", year = 2017, }