1  Introduction

• A description/motivation of the Ensemble architecture.
• An aid for learning about the Ensemble protocol layers and their workings.
• An informal specification of individual protocol layers and common compositions of the layers.
• Documentation of possible alternate designs/implementations of the system.
• A depository of specification and verification information developed for protocol layers.
• A depository of descriptions of potential projects.
• Source for combined hypertext code/text documentation of Ensemble.

Documentation TODO list:

• transports
• mark all ML values with mlval{}
• add more detail in the event fields section
• add ``common problems'' section
  • layers acknowledging messages
  • EInit vs. EView
• layer programming tutorial