Pages that link to "Item:Q299202"
From MaRDI portal
The following pages link to Developments in concurrent Kleene algebra (Q299202):
Displayed 6 items.
- A UTP approach for rTiMo (Q1624596) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
- (Q5111639) (← links)
- (Q5875403) (← links)
- Contextuality in distributed systems (Q6174413) (← links)