@Inproceedings{EPTCS176.2,
  author    = {Paykin, Jennifer and Zdancewic, Steve},
  year      = {2015},
  title     = {A Linear/Producer/Consumer Model of Classical Linear Logic},
  editor    = {Alves, Sandra and Cervesato, Iliano},
  booktitle = {{\rm Proceedings Third International Workshop on}
               Linearity,
               {\rm Vienna, Austria, 13th July, 2014}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {176},
  publisher = {Open Publishing Association},
  pages     = {9-23},
  doi       = {10.4204/EPTCS.176.2},
}