Towards verification of computation orchestration. Dong, J. S.; 0003, Y. L.; 0001, J. S.; and Zhang, X. Formal Asp. Comput. (FAC), 26(4):729-759, 2014.
Towards verification of computation orchestration [link]Paper  bibtex   
@article{ dblp1605283,
  title = {Towards verification of computation orchestration},
  author = {Jin Song Dong and Yang Liu 0003 and Jun Sun 0001 and Xian Zhang},
  author_short = {Song Dong, J. and Liu 0003, Y. and Sun 0001, J. and Zhang, X.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1605283},
  id = {dblp1605283},
  biburl = {http://www.dblp.org/rec/bibtex/journals/fac/DongLSZ14},
  url = {http://dx.doi.org/10.1007/s00165-013-0280-9},
  journal = {Formal Asp. Comput. (FAC)},
  pages = {729-759},
  number = {4},
  volume = {26},
  text = {Formal Asp. Comput. (FAC) 26(4):729-759 (2014)}
}
Downloads: 0