Future Work - Lots of it
Further development of simulation tools
- strategy primitives
- primitives for views configurations
- animation
- using RT-Maude
Defining protocol composition operations
- what are the parameters
- application to PIM-DM, AER/NCA, TLS ...