5 citations · 5 across the 1 of their papers we have counts for
1 paper · 1 filter
Annabelle McIver, Carroll Morgan
The mu-calculus is a powerful tool for specifying and verifying transition systems, including those with both demonic and angelic choice; its quantitative generalisation qMu extend…