The following pages link to (Q4370350):
Displayed 5 items.
- An algebra of behavioural types (Q418153) (← links)
- Types for access control (Q1575157) (← links)
- The name discipline of uniform receptiveness (Q1960533) (← links)
- A type system for lock-free processes (Q2497143) (← links)
- Typed behavioural equivalences for processes in the presence of subtyping (Q2841263) (← links)