Pages that link to "Item:Q299202"
From MaRDI portal
The following pages link to Developments in concurrent Kleene algebra (Q299202):
Displaying 10 items.
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Concurrent Kleene algebra: free model and completeness (Q2324010) (← links)
- A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
- Concurrent Kleene Algebra (Q3184688) (← links)
- (Q5089285) (← links)
- (Q5111639) (← links)
- (Q5111642) (← links)
- (Q5875403) (← links)