Discover (Random Books)

Specifying Systems: The TLA+ Language and Tools for Hardware ...

Leslie Lamport

Category: actor model

Akka.NET Succinctly

Zoran Maksimovic