most citedROSA Analyser: An automatized approach to analyse processes of ROSA

1 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2022★ 1 cited

A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version)

Raúl Pardo, Einar Broch Johnsen, Ina Schaefer +1

The semantics of probabilistic languages has been extensively studied, but specification languages for their properties have received little attention. This paper introduces the pr…