-
Andrew Hirsch authored
- Concurrent Lambda became Control Language - Choreographies became Pirouette - Expressions became Local Language These reflect the names in the paper.
867f7f59
- Concurrent Lambda became Control Language - Choreographies became Pirouette - Expressions became Local Language These reflect the names in the paper.