most citedBisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

4 citations · 7 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2012★ 4 cited

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

D. Latella, M. Massink, E. P. de Vink

Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they cons…