Algebras
The use of algebraic techniques was pioneered in the process calculi. Subsequently several different process calculi intended to provide algebraic reasoning about Actor systems have been developed in (Gaspari and Zavattaro 1997), (Gaspari and Zavattaro 1999), (Agha and Thati 2004)
Read more about this topic: Actor Model And Process Calculi