BibTeX record journals/entcs/NiehrenSSS07

download as .bib file

@inproceedings{DBLP:journals/entcs/NiehrenSSS07,
  author       = {Joachim Niehren and
                  David Sabel and
                  Manfred Schmidt{-}Schau{\ss} and
                  Jan Schwinghammer},
  editor       = {Marcelo Fiore},
  title        = {Observational Semantics for a Concurrent Lambda Calculus with Reference
                  Cells and Futures},
  booktitle    = {Proceedings of the 23rd Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2007, New Orleans, LA, USA, April
                  11-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {173},
  pages        = {313--337},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.041},
  doi          = {10.1016/J.ENTCS.2007.02.041},
  timestamp    = {Mon, 08 Feb 2021 13:26:28 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NiehrenSSS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics