@inproceedings{mostrous:hal-01582995,
  TITLE = {{Session Typing for a Featherweight Erlang}},
  AUTHOR = {Mostrous, Dimitris and Vasconcelos, Vasco T.},
  URL = {https://inria.hal.science/hal-01582995},
  BOOKTITLE = {{13th Conference on Coordination Models and Languages (COORDINATION)}},
  ADDRESS = {Reykjavik, Iceland},
  EDITOR = {Wolfgang Meuter and Gruia-Catalin Roman},
  PUBLISHER = {{Springer}},
  SERIES = {Coordination Models and Languages},
  VOLUME = {LNCS-6721},
  PAGES = {95-109},
  YEAR = {2011},
  MONTH = Jun,
  DOI = {10.1007/978-3-642-21464-6\_7},
  PDF = {https://inria.hal.science/hal-01582995/file/978-3-642-21464-6_7_Chapter.pdf},
  HAL_ID = {hal-01582995},
  HAL_VERSION = {v1},
}