The following pages link to (Q2769439):
Displayed 4 items.
- The star problem and the finite power property in trace monoids: Reductions beyond C4 (Q1854540) (← links)
- Bounded MSC communication (Q1881218) (← links)
- Regular sets of infinite message sequence charts (Q1887140) (← links)
- MSO Logic for Unambiguous Shared-Memory Systems (Q3533037) (← links)