52 citations · 52 across the 1 of their papers we have counts for
1 paper · 1 filter
Radu Mardare, Prakash Panangaden, Gordon Plotkin
We develop a fixed-point extension of quantitative equational logic and give semantics in one-bounded complete quantitative algebras. Unlike previous related work about fixed-point…