As described in http://lamp.epfl.ch/~rompf/continuations-icfp09.pdf in Section 4.4, Scala actor model suffers from the lack of composability due to react being limited to the explicitly provided closure. In particular, this code below will not work.
The paper proposes a solution using continuation based reset together with proceed to create a common context for composed behaviors.
In contrast, Prova allows direct compositions of protocol fragments.
Labels: