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.

Dynamic Deadlock Verification for General Barrier Synchronisation

Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida. Dynamic Deadlock Verification for General Barrier Synchronisation. ACM Transactions on Programming Languages and Systems, 41(1), 2019. [doi]

Authors

Tiago Cogumbreiro

This author has not been identified. Look up 'Tiago Cogumbreiro' in Google

Raymond Hu

This author has not been identified. Look up 'Raymond Hu' in Google

Francisco Martins

This author has not been identified. Look up 'Francisco Martins' in Google

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google
runs on