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]
@article{ArmandoGMP12,
title = {An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints},
author = {Alessandro Armando and Enrico Giunchiglia and Marco Maratea and Serena Elisa Ponta},
year = {2012},
doi = {10.1016/j.jcss.2011.02.015},
url = {http://dx.doi.org/10.1016/j.jcss.2011.02.015},
researchr = {https://researchr.org/publication/ArmandoGMP12},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {119-141},
}