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