Encapsulating processes

\zline{\fbox{Concurrent C++}}
  process spec diskDriver() {
  trans int request( int op, long blkaddr, char* buf );
  trans int wait(int ticket);
  trans void done();
  };
  
  class disk {
  process diskDriver dd;
  int nwaiting, nbadrag, tickets [ MAX_PENDING ], ...;
  public:
   ...
  };
  

slide: Encapsulating processes in Concurrent C++