Homepage
Open in app
Statebox
Sign in
Get started
Tagged in
Behavioral Programming
Statebox
Formally verified process language. Find out more at
https://statebox.org
More information
Followers
367
Elsewhere
More, on Medium
Behavioral Programming
Fabrizio Romano Genovese
in
Statebox
Feb 15, 2019
Behavioral Programming with Petri Nets à la Functional Way — Smart Contracts
Read more…
309
