Pages that link to "Item:Q1623141"

The following pages link to Weak bisimulation metrics in models with nondeterminism and continuous state spaces (Q1623141):

Displayed 4 items.

• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) ‎ (← links)
• The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) ‎ (← links)
• A probabilistic calculus of cyber-physical systems (Q2042728) ‎ (← links)
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) ‎ (← links)