Pages that link to "Item:Q2266992"

The following pages link to Weak bisimulation is sound and complete for pCTL\(^*\) (Q2266992):

Displaying 2 items.

• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
• Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)