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++