Tasks
Convergence data/workflow, detailed specification of the problems and the model
Materialization, termination, and confluence
Monitoring
Optimization across peers
Security