217 citations
- INESC TECPT5 papers
- University of MinhoPT4 papers
- Consejo Nacional de Investigaciones Científicas y TécnicasAR2 papers
- Gemini South ObservatoryCL2 papers
- Las Campanas ObservatoryCL2 papers
- Universidade Cidade de São PauloBR2 papers
- Universidade de São PauloBR2 papers
- Universidade Estadual de Santa CruzBR2 papers
- Universidade Federal de Minas GeraisBR2 papers
- Universidade Federal de Santa CatarinaBR2 papers
- Universidade Federal do ABCBR2 papers
- Universidade Federal do Rio de JaneiroBR2 papers
Showing cs.LOShow all
2 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.LO2022★ 2 cited
The syntactic side of autonomous categories enriched over generalised metric spaces
Fredrik Dahlqvist, Renato Neves
Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence e…