Towards verification of computation orchestration. Dong, J. S.; Liu, Y.; Sun, J.; and Zhang, X. Formal Asp. Comput. (FAC), 26(4):729-759, 2014.
Paper
Paper bibtex @article{ dblp1605283,
title = {Towards verification of computation orchestration},
author = {Jin Song Dong and Yang Liu and Jun Sun and Xian Zhang},
author_short = {Song Dong, J. and Liu, Y. and Sun, J. and Zhang, X.},
bibtype = {article},
type = {article},
year = {2014},
key = {dblp1605283},
id = {dblp1605283},
url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/fac2014.pdf},
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)}
}