Pages that link to "Item:Q1061481"
From MaRDI portal
The following pages link to Determinacy \(\to\) (observation equivalence \(=\) trace equivalence) (Q1061481):
Displayed 10 items.
- Rule formats for determinism and idempotence (Q433348) (← links)
- Global renaming operators in concrete process algebra (Q1106660) (← links)
- Stable families of behavioural equivalences (Q1119013) (← links)
- A complete equational axiomatization for MPA with string iteration (Q1274456) (← links)
- When is partial trace equivalence adequate? (Q1333407) (← links)
- Impossible futures and determinism (Q1607117) (← links)
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769) (← links)
- Characteristic Formulae for Timed Automata (Q2729632) (← links)
- Multiple Viewpoint Contract-Based Specification and Design (Q3602999) (← links)
- On deciding some equivalences for concurrent processes (Q4362275) (← links)