Pages that link to "Item:Q3090834"
From MaRDI portal
The following pages link to On Locality and the Exchange Law for Concurrent Processes (Q3090834):
Displayed 12 items.
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- In praise of algebra (Q1941861) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- 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)
- The Laws of Programming Unify Process Calculi (Q2908555) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
- Unifying Semantics for Concurrent Programming (Q4922078) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)