A COMPLETE EXAMPLE

  Here we first consider a whiteboard meeting, then discuss a concurrency control policy, and show how these two policy modules can be composed into one for project meetings. We assume that all participants join a meeting at about the same time. It is impossible to have one short example to illustrate all the language constructs. Policies to handle late joins and other examples can be found in [15].