Actor model would also be brilliantly wrong: it doesn't compose smaller correct systems into larger correct systems.
(Software) Transactional Memory and other ideas inspired by databases have a much better shot at this.
(Software) Transactional Memory and other ideas inspired by databases have a much better shot at this.
(To be less snarky, locks are one way you can implement both actor model and Transactional Memory. But just like JMP instructions in your CPU, it's probably better to provide programmers with a higher level of abstraction.)