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…