The following pages link to (Q2736356):
Displaying 7 items.
- Fixed points of endomorphisms of trace monoids. (Q467531) (← links)
- An extension of Kleene's and Ochmański's theorems to infinite traces (Q1318685) (← links)
- Concurrent algorithm for integrating three-dimensional B-spline functions into machines with shared memory such as GPU (Q2160412) (← links)
- Compositionality Entails Sequentializability (Q3000634) (← links)
- A Characterization of Combined Traces Using Labeled Stratified Order Structures (Q3569864) (← links)
- Poset properties of complex traces (Q5096837) (← links)
- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces (Q6116581) (← links)