Automating the Transformation from BPMN Models to CSP+T Specifications.

Manuel I. Capel, Luis Eduardo Mendoza

Browse the full SEW paper archive.