The following pages link to Thorsten Tarrach (Q526752):
Displayed 4 items.
- Language inclusion for finite prime event structures (Q784145) (← links)
- Succinct Representation of Concurrent Trace Sets (Q2819829) (← links)
- From non-preemptive to preemptive scheduling using synchronization synthesis (Q5892421) (← links)
- From non-preemptive to preemptive scheduling using synchronization synthesis (Q5915873) (← links)