@inproceedings{inproceedings6b3811c3,
title   = {Using process algebra to control the execution of business processes},
author = {Braghetto, Kelly Rosa and Ferreira, João Eduardo and Pu, Calton},
year = {2008},
doi = {10.1145/1363686.1363720},
publisher = {ACM},
booktitle   = {Symposium on Applied Computing - SAC}
}