Redirecting you to http://en.wikipedia.org/wiki/Actor_model_later_history#Attempts_to_relate_Actor_semantics_to_algebra_and_linear_logic