Difference between revisions of "Paper/The Mathematical Specification of the Statebox Language"
Jump to navigation
Jump to search
| Line 3: | Line 3: | ||
|first1=Fabrizio | |first1=Fabrizio | ||
|last1=Genovese | |last1=Genovese | ||
|author- | |first2=Jelle | ||
|last2=Herold | |||
|author-link1=Fabrizio Genovese | |||
|author-link2=Jelle Herold | |||
|date=June 18, 2019 | |date=June 18, 2019 | ||
|publisher=arXiv | |publisher=arXiv | ||
Latest revision as of 11:56, 3 April 2022
Genovese, Fabrizio; Herold, Jelle (June 18, 2019). The Mathematical Specification of the Statebox Language (PDF). local page: arXiv.
This is the paper that talks about a Category Theory-based Petri Net specification language.