2 citations · 2 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2025
An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
Renato Neves
We present an adequacy theorem for a concurrent extension of probabilistic GCL. The underlying denotational semantics is based on the so-called mixed powerdomains, which combine no…
cs.LO2025
An Adequate While-Language for Stochastic Hybrid Computation
Renato Neves, José Proença, Juliana Souza
We introduce a language for formally reasoning about programs that combine differential constructs with probabilistic ones. The language harbours, for example, such systems as adap…
cs.LO2024
An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
Renato Neves
We present an adequacy theorem for a concurrent extension of probabilistic GCL. The underlying denotational semantics is based on the so-called mixed powerdomains, which combine no…