Pages that link to "Item:Q5410476"
From MaRDI portal
The following pages link to Concurrent Kleene Algebra with Tests (Q5410476):
Displayed 5 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- On series-parallel pomset languages: rationality, context-freeness and automata (Q1734519) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- (Q5111639) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)