A type system for resource protocol verification and its correctness proof

Corneliu Popeea, Wei-Ngan Chin. A type system for resource protocol verification and its correctness proof. In Nevin Heintze, Peter Sestoft, editors, Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004. pages 135-146, ACM, 2004. [doi]

@inproceedings{PopeeaC04,
  title = {A type system for resource protocol verification and its correctness proof},
  author = {Corneliu Popeea and Wei-Ngan Chin},
  year = {2004},
  doi = {10.1145/1014007.1014021},
  url = {http://doi.acm.org/10.1145/1014007.1014021},
  tags = {protocol, type system},
  researchr = {https://researchr.org/publication/PopeeaC04},
  cites = {0},
  citedby = {0},
  pages = {135-146},
  booktitle = {Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004},
  editor = {Nevin Heintze and Peter Sestoft},
  publisher = {ACM},
  isbn = {1-58113-835-0},
}