WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition

Sorry, there's nothing here.

Cite this paper

@inproceedings{Papapanagiotou2017WorkflowFMAL, title={WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition}, author={Petros Papapanagiotou and Jacques D. Fleuriot}, booktitle={CADE}, year={2017} }