Universal and complete graphical languages have been successfully design...
The notion of "centre" has been introduced for many algebraic structures...
Different graphical calculi have been proposed to represent quantum
comp...
The prop formalism allows representation of processes withstring diagram...