Actor model
Actor model and process calculi