1 citations · 1 across the 2 of their papers we have counts for
6 papers
Fixed-Points for Quantitative Equational Logics
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…
Universal Semantics for the Stochastic Lambda-Calculus
Pedro Amorim, Dexter Kozen, Radu Mardare +2
We define sound and adequate denotational and operational semantics for the stochastic lambda calculus. These two semantic approaches build on previous work that used similar techn…
On the Metric-based Approximate Minimization of Markov Chains
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen +1
In this paper, we address the approximate minimization problem of Markov Chains (MCs) from a behavioral metric-based perspective. Specifically, given a finite MC and a positive int…
On the Axiomatizability of Quantitative Algebras
Radu Mardare, Prakash Panangaden, Gordon Plotkin
Quantitative algebras (QAs) are algebras over metric spaces defined by quantitative equational theories as introduced by the same authors in a related paper presented at LICS 2016.…
Timed Comparisons of Semi-Markov Processes
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci +2
Semi-Markov processes are Markovian processes in which the firing time of the transitions is modelled by probabilistic distributions over positive reals interpreted as the probabil…
Parameterized Metatheory for Continuous Markovian Logic
Kim G. Larsen, Radu Mardare, Claus Thrane
This paper shows that a classic metalogical framework, including all Boolean operators, can be used to support the development of a metric behavioural theory for Markov processes.…