An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints - researchr publication bibliographies

researchr

You are not signed in
Sign in
Sign up

Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta. An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. J. Comput. Syst. Sci., 78(1):119-141, 2012. [doi]

runs on WebDSL