14 citations · 20 across the 6 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.DC2016★ 5 cited
Multi-Threaded Actors
Keyvan Azadbakht, Frank S. de Boer, Vlad Serbanescu
In this paper we introduce a new programming model of multi-threaded actors which feature the parallel processing of their messages. In this model an actor consists of a group of a…
cs.PL2016
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell
Elvira Albert, Nikolaos Bezirgiannis, Frank de Boer +1
We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a forma…