Towards a Formal Account for Software Transactional Memory
Attributed to:
Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-52482-1_16
Publication URI: http://dx.doi.org/10.1007/978-3-030-52482-1_16
Type: Book Chapter
Book Title: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings (2020)
Page Reference: 255-263