Titlebook: Coordination Models and Languages; 9th International Co Amy L. Murphy,Jan Vitek Conference proceedings 2007 Springer-Verlag Berlin Heidelbe

貪心

palliative-care

Actors That Unify Threads and Eventsed under a single actor abstraction. Using advanced abstraction mechanisms of the Scala programming language, we implemented our approach on unmodified JVMs. Our programming model integrates well with the threading model of the underlying VM.

文件夾

Generalized Committed Choicee paper is to introduce the GCC programming construct and the associated semantics framework for formalizing GCC. We give some experimental results which show that the power of GCC can be made practical.