Now showing items 1-1 of 1

    • Cospan/Span(Graph): an algebra for open, reconfigurable automata networks 

      Gianola A; Kasangian S; Sabadini N (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2017)
      Span(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 ...