See the following for a rigorous definition of the Actors Abstraction:

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