Probabilistic bisimulation is a fundamental notion of process equivalenc...
Parameterized synthesis offers a solution to the problem of constructing...
Minification is a widely-accepted technique which aims at reducing the s...
We revisit the classic problem of proving safety over parameterised
conc...