sC++



  active class S { 
  public: 
     m () { ... } 
  private: 
     @S () {  
pseudo-constructor
select { 01 -> m();
external call
instructions ... || accept m;
accept internal method
instructions ... || waituntil (date);
time-out
instructions ... || default
default
instructions ... } } }

slide: Synchronization conditions in sC++