Analyzing Event-Based Scheduling in Concurrent Reactive Systems

Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong. Analyzing Event-Based Scheduling in Concurrent Reactive Systems. ACM Trans. Embedded Comput. Syst., 14(4):86, 2015. [doi]

@article{JiangZLZZZGH15,
  title = {Analyzing Event-Based Scheduling in Concurrent Reactive Systems},
  author = {Jianmin Jiang and Huibiao Zhu and Qin Li and Yongxin Zhao and Lin Zhao and Shi Zhang and Ping Gong and Zhong Hong},
  year = {2015},
  doi = {10.1145/2783438},
  url = {http://doi.acm.org/10.1145/2783438},
  researchr = {https://researchr.org/publication/JiangZLZZZGH15},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Embedded Comput. Syst.},
  volume = {14},
  number = {4},
  pages = {86},
}