Pages that link to "Item:Q2908555"
From MaRDI portal
The following pages link to The Laws of Programming Unify Process Calculi (Q2908555):
Displayed 5 items.
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Constructing the Views Framework (Q2814615) (← links)
- Generic Models of the Laws of Programming (Q2842638) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- Unifying Semantics for Concurrent Programming (Q4922078) (← links)