The following pages link to CONCUR 2005 – Concurrency Theory (Q5897480):
Displayed 4 items.
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- On metrics for probabilistic systems: definitions and algorithms (Q971582) (← links)
- Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity (Q1004387) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)