PLAN
From MaRDI portal
swMATH22065MaRDI QIDQ33861FDOQ33861
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?doid=289423.289431
Cited In (11)
- 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?)
- Atropos
- Plan in Maude specifying an active network programming language
- AtomCaml
- Guava
- Strong normalisation in the \(\pi\)-calculus
- Title not available (Why is that?)
- AtomCaml: first-class atomicity via rollback
This page was built for software: PLAN