Efficient Analysis of BPEL 2.0 Processes Using p-Calculus (bibtex)
by Matthias Weidlich, Gero Decker, and Mathias Weske
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}
}