Efficient Full Compliance Checking of Concurrent Components for business Process Models

Silvano Colombo Tosatto, Guido Governatori, Nick van Beest, Francesco Olivieri. Efficient Full Compliance Checking of Concurrent Components for business Process Models. FLAP, 6(5):963-998, 2019. [doi]

Abstract

Abstract is missing.