Assuring Structural Parallel Programs based on Scoped Permissions

Yang Zhao, Ligong Yu, Gongxuan Zhang, Jia Bei. Assuring Structural Parallel Programs based on Scoped Permissions. JSW, 4(4):283-290, 2009. [doi]

@article{ZhaoYZB09,
  title = {Assuring Structural Parallel Programs based on Scoped Permissions},
  author = {Yang Zhao and Ligong Yu and Gongxuan Zhang and Jia Bei},
  year = {2009},
  doi = {10.4304/jsw.4.4.283-290},
  url = {http://dx.doi.org/10.4304/jsw.4.4.283-290},
  tags = {rule-based, parallel programming, programming},
  researchr = {https://researchr.org/publication/ZhaoYZB09},
  cites = {0},
  citedby = {0},
  journal = {JSW},
  volume = {4},
  number = {4},
  pages = {283-290},
}