A program logic for resources. Aspinall 0001, D., Beringer, L., Hofmann 0001, M., Loidl, H., & Momigliano, A. Theor. Comput. Sci. (TCS), 389(3):411-445, 2007.
A program logic for resources [link]Paper  bibtex   
@article{ dblp3724250,
  title = {A program logic for resources},
  author = {David Aspinall 0001 and Lennart Beringer and Martin Hofmann 0001 and Hans-Wolfgang Loidl and Alberto Momigliano},
  author_short = {Aspinall 0001, D. and Beringer, L. and Hofmann 0001, M. and Loidl, H. and Momigliano, A.},
  bibtype = {article},
  type = {article},
  year = {2007},
  key = {dblp3724250},
  id = {dblp3724250},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/AspinallBHLM07},
  url = {http://dx.doi.org/10.1016/j.tcs.2007.09.003},
  journal = {Theor. Comput. Sci. (TCS)},
  pages = {411-445},
  number = {3},
  volume = {389},
  text = {Theor. Comput. Sci. (TCS) 389(3):411-445 (2007)}
}

Downloads: 0