48 citations · 54 across the 5 of their papers we have counts for
1 paper · 2 filters
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…