BibTeX record conf/coordination/Saffrich021

• > Home > conf/coordination/Saffrich021

@inproceedings{DBLP:conf/coordination/Saffrich021,
  author       = {Hannes Saffrich and
                  Peter Thiemann},
  editor       = {Ferruccio Damiani and
                  Ornela Dardha},
  title        = {Relating Functional and Imperative Session Types},
  booktitle    = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2021, Held as Part of the 16th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2021, Valletta, Malta, June 14-18, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12717},
  pages        = {61--79},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78142-2\_4},
  doi          = {10.1007/978-3-030-78142-2\_4},
  timestamp    = {Tue, 15 Jun 2021 17:23:40 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Saffrich021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}