Typing actors using behavioural types

The notion of behavioural types is considered and issues related to the nature of the actor model including non-determinism, multi-party communication, dynamic actor spawning, non-finite computation and a possibly changing communication topology are considered.