52 citations · 52 across the 1 of their papers we have counts for
1 paper · 2 filters
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…