Pages that link to "Item:Q5370909"
From MaRDI portal
The following pages link to Fencing off go: liveness and safety for channel-based programming (Q5370909):
Displaying 7 items.
- Using session types for reasoning about boundedness in the \(\pi\)-calculus (Q2216475) (← links)
- Data flow analysis of asynchronous systems using infinite abstract domains (Q2233447) (← links)
- (Q5094146) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5918263) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← links)