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 Comments
This is a summary aggregated from Lobsters. Read the complete article on the original site:
Read full article at Lobsters
