Reference:
Efficient Analysis of BPEL 2.0 Processes Using p-Calculus (Matthias Weidlich, Gero Decker, and Mathias Weske), In Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007, December 11-14, 2007, Tsukuba Science City, Japan (Jie Li, Minyi Guo, Qun Jin, Yongbing Zhang, Liang-Jie Zhang, Hai Jin, Masahiro Mambo, Jiro Tanaka, Hiromu Hayashi, eds.), IEEE Computer Society, 2007.
Bibtex Entry:
@inproceedings{DBLP:conf/apscc/WeidlichDW07,
author = {Matthias Weidlich and
Gero Decker and
Mathias Weske},
editor = {Jie Li and
Minyi Guo and
Qun Jin and
Yongbing Zhang and
Liang{-}Jie Zhang and
Hai Jin and
Masahiro Mambo and
Jiro Tanaka and
Hiromu Hayashi},
title = {Efficient Analysis of {BPEL} 2.0 Processes Using p-Calculus},
booktitle = {Proceedings of The 2nd {IEEE} Asia-Pacific Services Computing Conference,
{APSCC} 2007, December 11-14, 2007, Tsukuba Science City, Japan},
pages = {266--274},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/APSCC.2007.36},
doi = {10.1109/APSCC.2007.36},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/apscc/WeidlichDW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
pdf = {https://www.informatik.hu-berlin.de/%7eweidlima/pubs/weidlich_apscc_2007_efficient_analysis_bpel.pdf}
}