Modelling Actors with Redex: Part I

The link goes to the first of three articles in a recently-completed series:

• Part I: The Functional Fragment: ISWIM in Redex
• Part II: The Communicating Fragment: Actors in Redex
• Part III: Efficiency vs. Nondeterminism