12 citations · 26 across the 13 of their papers we have counts for
13 papers
Span(Graph): a Canonical Feedback Algebra of Open Transition Systems
Elena Di Lavore, Alessandro Gianola, Mario Román +2
We show that Span(Graph)*, an algebra for open transition systems introduced by Katis, Sabadini and Walters, satisfies a universal property. By itself, this is a justification of t…
Racks and blocked braids
N. Sabadini, R. F. C. Walters
In the paper Blocked-braid Groups, submitted to Applied Categorical Structures, the present authors together with Davide Maglia introduced the blocked-braid groups BB_n on n strand…
Blocked-braid Groups
D. Maglia, N. Sabadini, R. F. C. Walters
We introduce and study a family of groups , called the blocked-braid groups, which are quotients of Artin's braid groups , and have the corresponding s…
Tangled Circuits
R. Rosebrugh, N. Sabadini, R. F. C. Walters
The theme of the paper is the use of commutative Frobenius algebras in braided strict monoidal categories in the study of varieties of circuits and communicating systems which occu…
The compositional construction of Markov processes II
L. de Francesco Albasini, N. Sabadini, R. F. C. Walters
In an earlier paper we introduced a notion of Markov automaton, together with parallel operations which permit the compositional description of Markov processes. We illustrated by…
Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems
L. de Francesco Albasini, N. Sabadini, R. F. C. Walters
We develop further the algebra of cospans and spans of graphs introduced by Katis, Sabadini and Walters for the sequential and parallel composition of processes, adding here data t…