Program analysis for event-based distributed systems
Scala Actors: Unifying thread-based and event-based programming