A Scalable, Correct Time-Stamped Stack (bibtex)
by M. Dodds, A. Haas, C.M. Kirsch
Reference:
A Scalable, Correct Time-Stamped StackM. Dodds, A. Haas, C.M. KirschProc. Symposium on Principles of Programming Languages (POPL), 2015, ACM.Note: to appear
Bibtex Entry:
@InProceedings{POPL15,
  author = {M. Dodds and A. Haas and C.M. Kirsch},
  title = {A Scalable, Correct Time-Stamped Stack},
  booktitle = {Proc. Symposium on Principles of Programming Languages (POPL)},
  publisher = {ACM},
  year = {2015},
  note = {to appear}
}
Powered by bibtexbrowser