The following pages link to (Q4417898):
Displaying 6 items.
- Assigning types to processes (Q1854525) (← links)
- Type inference for a distributed \(\pi\)-calculus (Q1887739) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- Adding recursion to \textsc{Dpi} (extended abstract) (Q2852098) (← links)
- (Q4501679) (← links)