Actor model
Process calculi and Actor model.