4 citations · 9 across the 3 of their papers we have counts for
3 papers
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…