82 citations · 134 across the 3 of their papers we have counts for
3 papers · 1 filter
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
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…
Psi-calculi: a framework for mobile processes with nominal data and logic
Jesper Bengtson, Magnus Johansson, Joachim Parrow +1
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe…
Formalising the pi-calculus using nominal logic
Jesper Bengtson, Joachim Parrow
We formalise the pi-calculus using the nominal datatype package, based on ideas from the nominal logic by Pitts et al., and demonstrate an implementation in Isabelle/HOL. The purpo…