A Poigné
-
Functorial models for petri nets
Information and Computation
A functorial semantics for multi-algebras and partial algebras, with applications to syntax
Theoretical Computer Science