talk · community record
Declarative Concurrent Programming with Join Calculus
An introduction to Join Calculus, a declarative formalism for concurrent programming that improves upon Actors or CSP by making actors type-safe, stateless, and automated.
An introduction to Join Calculus, a declarative formalism for concurrent programming that improves upon Actors or CSP by making actors type-safe, stateless, and automated.