Correctness of Self-Stabilizing Algorithms Under the Dolev Model When Adapted to Composite Atomicity Models

Chih-Yuan Chen, Cheng-Pin Wang, Tetz C. Huang, Ji-Cherng Lin. Correctness of Self-Stabilizing Algorithms Under the Dolev Model When Adapted to Composite Atomicity Models. IJALR, 3(4):16-31, 2012. [doi]

@article{ChenWHL12,
  title = {Correctness of Self-Stabilizing Algorithms Under the Dolev Model When Adapted to Composite Atomicity Models},
  author = {Chih-Yuan Chen and Cheng-Pin Wang and Tetz C. Huang and Ji-Cherng Lin},
  year = {2012},
  doi = {10.4018/ijalr.2012100102},
  url = {http://dx.doi.org/10.4018/ijalr.2012100102},
  researchr = {https://researchr.org/publication/ChenWHL12},
  cites = {0},
  citedby = {0},
  journal = {IJALR},
  volume = {3},
  number = {4},
  pages = {16-31},
}