14 citations · 14 across the 2 of their papers we have counts for
2 papers
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…
cs.PL2014★ 14 cited
Decidability Problems for Actor Systems
Frank De Boer, Mahdi Jaghoori, Cosimo Laneve +1
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a crucial feature: the dynamic creation of names in…