Login / Signup
Weak bisimulations for labelled transition systems weighted over semirings.
Marino Miculan
Marco Peressotti
Published in:
CoRR (2013)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
constraint satisfaction problems
control flow
practical reasoning
model checker
formal specification
np hard