A tool for the synthesis of cryptographic orchestratorsVincenzo Ciancia, Ernesto Pimentel, J. A. Martín et al.|Unknown|2012Cited by 4
Automated Synthesis and Ranking of Secure BPMN OrchestratorsVincenzo Ciancia, Ernesto Pimentel, Fabio Martinelli et al.|Unknown|2013Cited by 3