External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity

Junfu Luo, Jiaqi Yin, Huibiao Zhu. MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity. In Hiroyuki Takizawa, Hong Shen 0001, Toshihiro Hanawa, Jong Hyuk Park, Hui Tian, Ryusuke Egawa, editors, Parallel and Distributed Computing, Applications and Technologies - 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings. Volume 13798 of Lecture Notes in Computer Science, pages 387-398, Springer, 2022. [doi]

Authors

Junfu Luo

This author has not been identified. Look up 'Junfu Luo' in Google

Jiaqi Yin

This author has not been identified. Look up 'Jiaqi Yin' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google
runs on