Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation.

Marino Miculan Marco Peressotti

Published in: CoRR (2017)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
distributed systems
reactive systems
domain independent
formal specification