Secure Enforcement for Global Process Specifications.

Jrmy Planul, Ricardo Corin, Cdric Fournet

Browse the full CONCUR paper archive.