research
∙
05/13/2022
Completeness and expressiveness for gs-monoidal categories
Formalised in the study of symmetric monoidal categories, string diagram...
share
research
∙
12/03/2020
Encoding Incremental NACs in Safe Graph Grammars using Complementation
In modelling complex systems with graph grammars (GGs), it is convenient...
research
∙
02/13/2019
Rewriting Abstract Structures: Materialization Explained Categorically
The paper develops an abstract (over-approximating) semantics for double...
research
∙
02/11/2018
Event Structures for Petri nets with Persistence
Event structures are a widely accepted model of concurrency. In a semina...
research
∙
09/10/2016