Statebox — A New Formal Language
Today there is great enthusiasm for distributed systems and their potential to transform the way of the world, but the abstract theory of their ideal design is relatively scarce. The best way to begin this endeavor is to develop a fundamentally original formally verified…