@inproceedings{simonsen:hal-01287735,
  TITLE = {{Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation}},
  AUTHOR = {Simonsen, Kent Fagerland and Kristensen, Lars Michael},
  URL = {https://inria.hal.science/hal-01287735},
  BOOKTITLE = {{4th International Conference on Distributed Applications and Interoperable Systems (DAIS)}},
  ADDRESS = { Berlin, Germany},
  EDITOR = {David Hutchison and Takeo Kanade and Bernhard Steffen and Demetri Terzopoulos and Doug Tygar and Gerhard Weikum and Kostas Magoutis and Peter Pietzuch and Josef Kittler and Jon M. Kleinberg and Alfred Kobsa and Friedemann Mattern and John C. Mitchell and Moni Naor and Oscar Nierstrasz and C. Pandu Rangan},
  PUBLISHER = {{Springer}},
  SERIES = {Distributed Applications and Interoperable Systems},
  VOLUME = {LNCS-8460},
  PAGES = {104-118},
  YEAR = {2014},
  MONTH = Jun,
  DOI = {10.1007/978-3-662-43352-2\_9},
  PDF = {https://inria.hal.science/hal-01287735/file/326177_1_En_9_Chapter.pdf},
  HAL_ID = {hal-01287735},
  HAL_VERSION = {v1},
}