@dblp

Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs.

, , , and . ICTAC, volume 9965 of Lecture Notes in Computer Science, page 82-99. (2016)

Links and resources

Tags