4 citations · 9 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2009★ 2 cited
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.
cs.LO2009★ 3 cited
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…