Bounded memory protocols. Kanovich, M. I., Kirigin, T. B., Nigam, V., & Scedrov, A. Computer Languages, Systems & Structures, 40(3-4):137-154, 2014.
Bounded memory protocols. [link]Link  Bounded memory protocols. [link]Paper  bibtex   
@article{journals/cl/KanovichKNS14,
  added-at = {2014-12-09T00:00:00.000+0100},
  author = {Kanovich, Max I. and Kirigin, Tajana Ban and Nigam, Vivek and Scedrov, Andre},
  biburl = {http://www.bibsonomy.org/bibtex/2b845f2e2c56506ef231cf363b608b997/dblp},
  ee = {http://dx.doi.org/10.1016/j.cl.2014.05.003},
  interhash = {28edf12300dc4baa195b6a60a711b755},
  intrahash = {b845f2e2c56506ef231cf363b608b997},
  journal = {Computer Languages, Systems & Structures},
  keywords = {dblp},
  number = {3-4},
  pages = {137-154},
  timestamp = {2015-06-18T00:01:22.000+0200},
  title = {Bounded memory protocols.},
  url = {http://dblp.uni-trier.de/db/journals/cl/cl40.html#KanovichKNS14},
  volume = 40,
  year = 2014
}

Downloads: 0