|
[DYL+11]
Chen Deng, Hongli Yang, Husheng Liao, Meng Sun and Zongyan Qiu.
Analysis of WS-BPEL Processes in PRISM.
In 199-202, pages Proc. 5th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'11).
2011.
[Uses PRISM to analyse processes specified in the Web Services Business Process Execution Language (WS-BPEL).
]
|
|
Links:
[Google]
[Google Scholar]
|