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
Hence, the combined algebra CospanSpan(Graph) can be interpreted as a general algebra for reconfigurable/hierarchical networks, generalizing the usual Kleene's algebra for classical automata. ... 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). ... It gives rise to a network that can be graphically represented as follows: Now, we are going to see a concrete example of parallel and sequential feedbacks in Cospan/Span(Graph). ...fatcat:r5qtvyaiuneermpjf2g46ntbhq
7th Conference on Algebra and Coalgebra in Computer Science CALCO 2017
We would like to thank Daniela Petrisan and Till Mossakowski for serving as Early Ideas and Tools chairs. ... We are grateful to the programme committee of CALCO, to the programme committees of the satellite events and the external reviewers for their hard work. ... /Span(Graph): an Algebra for Open, Reconfigurable Automata Networks Alessandro Gianola, Stefano Kasangian, and Nicoletta Sabadini . . . . . . . . . . . . . . . . . . 2:1-2:17 Regular Papers On Corecursive ...fatcat:x5fzeg5dizhm3hpc7rlg6dyndi