14 citations · 20 across the 6 of their papers we have counts for
3 papers · 1 filter
Proving Correctness of Parallel Implementations of Transition System Specifications
Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun +1
The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. W…
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…
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…