12 citations · 21 across the 4 of their papers we have counts for
4 papers
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…
The parallel composition of processes
L. de Francesco Albasini, N. Sabadini, R. F. C. Walters
We suggest that the canonical parallel operation of processes is composition in a well-supported compact closed category of spans of reflexive graphs. We present the parallel opera…
An algebra of automata which includes both classical and quantum entities
L. de Francesco Albasini, N. Sabadini, R. F. C. Walters
We describe an algebra for composing automata which includes both classical and quantum entities and their communications. We illustrate by describing in detail a quantum protocol.
The compositional construction of Markov processes
L. de Francesco Albasini, N. Sabadini, R. F. C. Walters
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in…