Session
- syntax
- semantics
- synchronization