Statebox Announces a Blockchain Journal
Statebox is starting an initiative, independent from its main activities, to provide more ways to review contributions to the blockchain ecosystem in different areas in a proper peer-reviewed manner. Find out more on the journal website.
Statebox Language Monograph Released
The monograph is a document which outlines the mathematical backbone of the Statebox language. Visit archive.statebox.org to read it and share comments or download as PDF.
What is Statebox?
Statebox is building a formally verified process language using robust mathematical principles to prevent errors, allow composability and ensure termination. In addition, the language is visual and allows one to inspect the flow of the program as it is executing. These properties make Statebox suitable for, among other things, distributed systems, blockchains, workflow management systems, application orchestration and system architecture.