ResearchTrend.AI
The Mathematical Specification of the Statebox Language

The Mathematical Specification of the Statebox Language

Statebox Team
F. Genovese
Jelle Herold
ArXivPDFHTML

Papers citing "The Mathematical Specification of the Statebox Language"

2 / 2 papers shown
Title
Computational Petri Nets: Adjunctions Considered Harmful
Computational Petri Nets: Adjunctions Considered Harmful
F. Genovese
A. Gryzlov
Jelle Herold
Marco Perone
Erik Post
André Videla
25
14
0
29 Apr 2019
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
F. Genovese
Jelle Herold
20
14
0
15 May 2018