@inproceedings{inproceedings4974bfe7,
title   = {Using LOTOS for rigorous specifications of workflow patterns},
author = {Takecian, Pedro Losco and Ferreira, João Eduardo and Malkowski, S and Pu, Calton},
year = {2010},
doi = {10.4108/icst.collaboratecom.2010.57},
publisher = {ACM},
booktitle   = {International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom}
}