== Formal systems ==Over the years, several different formal systems have been developed which permit reasoning about systems in the Actor model.
За прошедшие годы были разработаны несколько различных формальных систем, которые позволяют описать модели акторов.