Kohei Honda and Mario Tokoro 1991, José Meseguer 1992, Ugo Montanari and Carolyn Talcott 1998, M. Gaspari and G. Zavattaro 1999 have attempted to relate Actor semantics to algebra.
However, none of the above formalisms addresses the crucial property of guarantee of service (see unbounded nondeterminism).