17 citations · 17 across the 1 of their papers we have counts for
1 paper
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers
Message passing is a useful abstraction for implementing concurrent programs. For real-world systems, however, it is often combined with other programming and concurrency paradigms…