- document
-
Hinrichsen, Jonas Kastberg (author), Bengtson, Jesper (author), Krebbers, R.J. (author)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, such as higher-order functions, mutable state, shared-memory concurrency, and locks. We present Actris: a logic for proving functional correctness of programs...journal article 2022