PLAN
From MaRDI portal
Cited in
(13)- A mobile agent-based active network architecture for intelligent network control
- Distributed call-tracking for security
- The seal calculus
- scientific article; zbMATH DE number 2043944 (Why is no real title available?)
- NeXeme
- SafeDpi
- Atropos
- AtomCaml
- Guava
- Plan in Maude specifying an active network programming language
- Strong normalisation in the \(\pi\)-calculus
- scientific article; zbMATH DE number 1497775 (Why is no real title available?)
- AtomCaml: first-class atomicity via rollback
This page was built for software: PLAN