5 citations · 5 across the 1 of their papers we have counts for
2 papers
cs.PL2023
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…
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…