Pages that link to "Item:Q2638769"
From MaRDI portal
The following pages link to Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769):
Displaying 6 items.
- Rule formats for determinism and idempotence (Q433348) (← links)
- When is partial trace equivalence adequate? (Q1333407) (← links)
- The difference between splitting in \(n\) and \(n+1\) (Q1370654) (← links)
- Step bisimulation is pomset equivalence on a parallel language without explicit internal choice (Q4279248) (← links)
- (Q5020942) (← links)
- Denotational, causal, and operational determinism in event structures (Q5878915) (← links)
