The Concurrency Representation Theorem in the actor model provides a fairly general way to represent concurrent systems that are closed in the sense that they do not receive communications from outside.
Teorema de reprezentare computațională din modelul Actor oferă o modalitate destul de generală de a reprezenta sisteme concurente, care sunt închise în sensul că nu primesc comunicații din afară.