Taming Distribution: Formal Protocols for Akka Typed by Roland Kuhn