@inproceedings{PQZ08:coordination08,
title = {Formal analysis of {BPMN} via a translation into {COWS}},
author = {D.~Prandi and P.~Quaglia and N.~Zannone},
booktitle = {Proc. 10th international conference on Coordination Models
and Languages (COORDINATION'08)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5052},
year = {2008},
pages = {249-263},
}