© 2021 Strange Loop
This advanced workshop discusses the theory and practice of Actors in some depth. Actors are characterized up to a unique isomorphism using Event Induction. Event Induction can be used to prove properties of Actor Systems. Applications in Akka, Erlang, and Orleans. Future of Actor Systems.
Carl Hewitt is an Emeritus professor from MIT. He is known for his work on concurrency including both theory and practice as well as his work on the foundations of Computer Science.