Actor model and process calculi history