The following pages link to PLAN (Q33861):
Displaying 8 items.
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- A mobile agent-based active network architecture for intelligent network control (Q1394829) (← links)
- Distributed call-tracking for security (Q1869981) (← links)
- The seal calculus (Q2566220) (← links)
- (Q2851057) (← links)
- AtomCaml (Q2936772) (← links)
- (Q4447928) (← links)
- (Q4499190) (← links)
