Uwe Wolter
-
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
Interpolation in Grothendieck institutions
Theoretical Computer Science