Guido Governatori. The Regorous Approach to Process Compliance. In 19th IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2015, Adelaide, Australia, September 21-25, 2015. pages 33-40, IEEE Computer Society, 2015. [doi]
Abstract is missing.