57 citations · 278 across the 28 of their papers we have counts for
Showing 2012Show all
2 papers · 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…
cs.PL2012
Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems
Herbert Wiklicky, Mieke Massink
This volume contains the proceedings of the Tenth Workshop on Quantitative Aspects of Programming Languages (QAPL 2012), held in Tallin, Estonia, on March 31 and April 1, 2012. QAP…