PLAN

swMATH22065MaRDI QIDQ33861FDOQ33861

Author name not available (Why is that?)

Described by source

• PLAN

Cited In (8)

• A mobile agent-based active network architecture for intelligent network control
• Distributed call-tracking for security
• The seal calculus
• Title not available (Why is that?)
• Plan in Maude specifying an active network programming language
• AtomCaml
• Strong normalisation in the \(\pi\)-calculus
• Title not available (Why is that?)

This page was built for software: PLAN