"Quantitative ?-calculus and CTL Based on Constraint Semirings."

Alberto Lluch-Lafuente, Ugo Montanari (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics