Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach.

Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta

Browse the full TrustBus paper archive.