Filters








2 Hits in 3.8 sec

Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks

Alessandro Gianola, Stefano Kasangian, Nicoletta Sabadini
unpublished
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

LIPIcs-Leibniz International Proceedings in Informatics

Filippo Bonchi, Barbara König, Filippo Bonchi, Barbara König, Raimund Seidel, Thomas Schwentick, T Dortmund, Reinhard Wilhelm
7th Conference on Algebra and Coalgebra in Computer Science CALCO 2017   unpublished
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