4 citations · 7 across the 3 of their papers we have counts for
3 papers
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…
cs.PL2011★ 3 cited
Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages
Mieke Massink, Gethin Norman
This volume contains the proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), held in Saarbrucken, Germany, April 1--3, 2011. QAPL 2011 i…