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.

A Graph Transformation System formalism for correctness of Transactional Memory algorithms

Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois. A Graph Transformation System formalism for correctness of Transactional Memory algorithms. In Cristiano D. Vasconcellos, Karina Girardi Roggia, Paulo Bousfield, Vanessa Collereii, João Paulo Fernandes, Mário Pereira, editors, SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021. pages 49-57, ACM, 2021. [doi]

Authors

Diogo J. Cardoso

This author has not been identified. Look up 'Diogo J. Cardoso' in Google

Luciana Foss

This author has not been identified. It may be one of the following persons: Look up 'Luciana Foss' in Google

André Rauber Du Bois

This author has not been identified. Look up 'André Rauber Du Bois' in Google
runs on