Fetching the paper…
Reading the bibliography…
String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal categories (SMCs).
Categorical algebra
S. Mac Lane · 1965
Earlier work this paper cites.
Parallelism of manipulations in multidimensional information structures
H. Ehrig and H.-J. Kreowski · 1976
Earlier work this paper cites.
Limits indexed by category-valued 2-functors
R. Street · 1976
Earlier work this paper cites.
Coherence for compact closed categories
G. M. Kelly and M. L. Laplaza · 1980
Earlier work this paper cites.
The tensor product of matrices
R. Walters · 1987
Earlier work this paper cites.
Petri nets are monoids
J. Meseguer and U. Montanari · 1990
Earlier work this paper cites.
The geometry of tensor calculus, i
A. Joyal and R. Street · 1991
Earlier work this paper cites.
Higher dimensional word problems with applications to equational logic
A. Burroni · 1993
Earlier work this paper cites.
In Term Graph Rewriting
D. Plump · 1993
Earlier work this paper cites.
Term Graph Rewriting: Theory and Practice
M. R. Sleep, M. J. Plasmeijer, and M. C. J. D. van Eekelen, editors · 1993
Earlier work this paper cites.
Traced monoidal categories
A. Joyal, R. Street, and D. Verity · 1996
Earlier work this paper cites.
An inductive view of graph transformation
F. Gadducci and R. Heckel · 1998
Earlier work this paper cites.
An algebraic presentation of term graphs, via GS-monoidal categories
A. Corradini and F. Gadducci · 1999
Earlier work this paper cites.
Towards an algebraic theory of boolean circuits
Y. Lafont · 2003
Earlier work this paper cites.
Deriving bisimulation congruences in the DPO approach to graph rewriting
H. Ehrig and B. König · 2004
Cited alongside, same era.
Composing PROPs
S. Lack · 2004
Cited alongside, same era.
Adhesive and quasiadhesive categories
S. Lack and P. Sobociński · 2005
Cited alongside, same era.
Generic commutative separable algebras and cospans of graphs
R. Rosebrugh, N. Sabadini, and R. Walters · 2005
Cited alongside, same era.
Reactive systems over cospans
V. Sassone and P. Sobociński · 2005
Cited alongside, same era.
A basic algebra of stateless connectors
R. Bruni, I. Lanese, and U. Montanari · 2006
Cited alongside, same era.
Termination orders for 3-dimensional rewriting
Strong complementarity and non-locality in categorical quantum mechanics
B. Coecke, R. Duncan, A. Kissinger, and Q. Wang · 2012
Later among the works it cites.
Quantum Groups
C. Kassel · 2012
Later among the works it cites.
Open-graphs and monoidal theories
L. Dixon and A. Kissinger · 2013
Later among the works it cites.
Categories in control
J. Baez and J. Erbele · 2014
Later among the works it cites.
A categorical semantics of signal flow graphs
F. Bonchi, P. Sobocinski, and F. Zanasi · 2014
Later among the works it cites.
Towards 3-dimensional rewriting theory
S. Mimram · 2014
Later among the works it cites.
Compositional reachability in Petri nets
J. Rathke, P. Sobociński, and O. Stephens · 2014
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Y. Guiraud · 2006
Cited alongside, same era.
Lawvere theories and monads
M. Hyland and J. Power · 2007
Cited alongside, same era.
Dagger compact closed categories and completely positive maps
P. Selinger · 2007
Cited alongside, same era.
Interacting quantum observables
B. Coecke and R. Duncan · 2008
Cited alongside, same era.
Amalgamations of categories
J. MacDonald and L. Scull · 2009
Cited alongside, same era.
A connector algebra for P/T nets interactions
R. Bruni, H. C. Melgratti, and U. Montanari · 2011
Cited alongside, same era.
Later among the works it cites.
A programming language for spatial distribution of net systems
P. Sobociński and O. Stephens · 2014
Later among the works it cites.
Full abstraction for signal flow graphs
F. Bonchi, P. Sobocinski, and F. Zanasi · 2015
Later among the works it cites.
A categorical approach to open & interconnected dynamical systems
B. Fong, P. Rapisarda, and P. Sobociński · 2015
Later among the works it cites.
Quantomatic: A proof assistant for diagrammatic reasoning
A. Kissinger and V. Zamdzhiev · 2015
Later among the works it cites.
Interacting Hopf Algebras: the theory of linear systems
F. Zanasi · 2015
Later among the works it cites.
http://globular.science/
Globular · 2016
Closest in time.