The Actors Abstraction is a much simpler and more powerful for

formalizing the semantics of C++. See the following:

https://papers.ssrn.com/abstract=3603021

https://www.youtube.com/watch?v=AJP1VL7shiI