Hi All, Hi Patrik (Nyblom)
If found an interesting paper by Patrik Nyblom:
Erlang ETS Tables and Software Transactional Memory: How Transactions Make ETS Tables More Like Ordinary Actors: https://dl.acm.org/doi/10.1145/2034654.2034658
and a thread about the same topic here:
https://groups.google.com/g/erlang-programming/c/VEG-Coq-0fE
Is the source code available somewhere?