PLAN
From MaRDI portal
Software:33861
No author found.
Related Items (8)
Strong normalisation in the \(\pi\)-calculus ⋮ Unnamed Item ⋮ A mobile agent-based active network architecture for intelligent network control ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The seal calculus ⋮ AtomCaml ⋮ Distributed call-tracking for security
This page was built for software: PLAN