@inproceedings{yang:hal-03768758,
  TITLE = {{A Hierarchical Model of Control Logic for Simplifying Complex Networks Protocol Design}},
  AUTHOR = {Yang, Yi and Quan, Wei and Yan, Jinli and Tang, Lu and Sun, Zhigang},
  URL = {https://inria.hal.science/hal-03768758},
  NOTE = {Part 3: Algorithm},
  BOOKTITLE = {{17th IFIP International Conference on Network and Parallel Computing (NPC)}},
  ADDRESS = {Zhengzhou, China},
  EDITOR = {Xin He and En Shao and Guangming Tan},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Network and Parallel Computing},
  VOLUME = {LNCS-12639},
  PAGES = {182-187},
  YEAR = {2020},
  MONTH = Sep,
  DOI = {10.1007/978-3-030-79478-1\_16},
  KEYWORDS = {Finite state machine ; Control logic ; Network protocol ; Hierarchical design},
  PDF = {https://inria.hal.science/hal-03768758/file/511910_1_En_16_Chapter.pdf},
  HAL_ID = {hal-03768758},
  HAL_VERSION = {v1},
}