23 search results - page 3 / 5 » Adhesive Categories |
115
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
132
click to vote
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
104
Voted
RELMICS
2009
Springer
15 years 8 months ago
2009
Springer
We define collagories essentially as “distributive allegories without zero morphisms”, and show that they are sufficient for accommodating the relation-algebraic approach to ...
96
Voted
ECEASST
2010
14 years 8 months ago
2010
Abstract. We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories includ...
117
click to vote
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to ...