A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks
unpublished
Span(Graph) was introduced by Katis, Sabadini and Walters as a categorical algebra of auto-mata with interfaces, with main operation being communicating-parallel composition. Additional operations provide also a calculus of connectors or wires among components. A system so described has two aspects: an informal network geometry arising from the algebraic expression, and a space of states and transition given by its evaluation in Span(Graph). So, Span(Graph) yields purely compositional,
fatcat:r5qtvyaiuneermpjf2g46ntbhq