Skip to main content
Loading...
Home
Hot
Groups
Market
Me
Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation - Marino Miculan, Marco Peressotti | Arena