Show simple item record

dc.contributor.authorGianola A
dc.contributor.authorKasangian S
dc.contributor.authorSabadini N
dc.contributor.editorBonchi F
dc.contributor.editorKönig B
dc.date.accessioned2018-05-24T13:32:34Z
dc.date.available2018-05-24T13:32:34Z
dc.date.issued2017
dc.identifier.isbn978-3-95977-033-0
dc.identifier.issn1868-8969
dc.identifier.urihttp://dx.doi.org/10.4230/LIPIcs.CALCO.2017.2
dc.identifier.urihttp://drops.dagstuhl.de/opus/volltexte/2017/8053/pdf/LIPIcs-CALCO-2017-2.pdf
dc.identifier.urihttp://hdl.handle.net/10863/4742
dc.description.abstractSpan(Graph) was introduced by Katis, Sabadini and Walters as a categorical algebra of automata 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, hierarchical descriptions of networks with a fixed topology. The dual algebra Cospan(Graph) allows to describe also the sequential behaviour of systems. Both algebras, of spans and of cospans, are symmetrical monoidal categories with commutative separable algebra structures on the objects. 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. We present some examples of systems described in this setting.en_US
dc.language.isoenen_US
dc.publisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik GmbHen_US
dc.relation.ispartofseriesLeibniz International Proceedings in Informatics : LIPIcs;
dc.rights
dc.titleCospan/Span(Graph): an algebra for open, reconfigurable automata networksen_US
dc.typeBook chapteren_US
dc.date.updated2018-05-15T12:34:57Z
dc.publication.title7th Conference on Algebra and Coalgebra in Computer Science: CALCO 2017; June 14-16, 2017, Ljubljana, Slovenia
dc.language.isiEN-GB
dc.description.fulltextreserveden_US


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record