@inproceedings{cledou:hal-02365513,
  TITLE = {{Coordination of Tasks on a Real-Time OS}},
  AUTHOR = {Cledou, Guillermina and Proen{\c c}a, Jos{\'e} and Sputh, Bernhard and Verhulst, Eric},
  URL = {https://inria.hal.science/hal-02365513},
  NOTE = {Part 5: Tools (2)},
  BOOKTITLE = {{21th International Conference on Coordination Languages and Models (COORDINATION)}},
  ADDRESS = {Kongens Lyngby, Denmark},
  EDITOR = {Hanne  Riis Nielson and Emilio Tuosto},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Coordination Models and Languages},
  VOLUME = {LNCS-11533},
  PAGES = {250-266},
  YEAR = {2019},
  MONTH = Jun,
  DOI = {10.1007/978-3-030-22397-7\_15},
  PDF = {https://inria.hal.science/hal-02365513/file/478673_1_En_15_Chapter.pdf},
  HAL_ID = {hal-02365513},
  HAL_VERSION = {v1},
}