48 citations · 91 across the 10 of their papers we have counts for
1 paper · 1 filter
Emanuele D'Osualdo, Jonathan Kochems, C. -H. Luke Ong
This paper presents an approach to verify safety properties of Erlang-style, higher-order concurrent programs automatically. Inspired by Core Erlang, we introduce Lambda-Actor, a p…