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.

Compositional Reasoning for Shared-Variable Concurrent Programs

Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun 0001. Compositional Reasoning for Shared-Variable Concurrent Programs. In Klaus Havelund, Jan Peleska 0001, Bill Roscoe, Erik P. de Vink, editors, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Volume 10951 of Lecture Notes in Computer Science, pages 523-541, Springer, 2018. [doi]

Authors

Fuyuan Zhang

This author has not been identified. Look up 'Fuyuan Zhang' in Google

Yongwang Zhao

This author has not been identified. Look up 'Yongwang Zhao' in Google

David Sanán

This author has not been identified. Look up 'David Sanán' in Google

Yang Liu

This author has not been identified. Look up 'Yang Liu' in Google

Alwen Tiu

This author has not been identified. Look up 'Alwen Tiu' in Google

Shang-Wei Lin

This author has not been identified. Look up 'Shang-Wei Lin' in Google

Jun Sun 0001

This author has not been identified. Look up 'Jun Sun 0001' in Google
runs on