Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation

Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois. Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. In Marcelo de Almeida Maia, Fábio Dorça, Rafael Dias Araujo, Cristiano Damiani Vasconcellos, editors, SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022. pages 15-23, ACM, 2022. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: