
A Petri Net-based approach for data race detection in BPEL
Jia-peng XIU, Yan-ting XU, Fang DENG, Chen LIUVolume:
17
Année:
2010
Langue:
english
Pages:
6
DOI:
10.1016/s1005-8885(09)60590-2
Fichier:
PDF, 304 KB
english, 2010