Encoding call-by-push-value in the pi-calculus

Hans Hüttel, Nikolaj Kristensen, Benjamin Bennetzen, Peter Steffensen

Other talks in Express/SOS Workshop Session 1:

• On the Expressiveness of Asynchronous Processes with Nested Session Types
• The MAY-preorder for timed systems with asynchronous communication
• Weighted barbed congruence

 Program   EXPRESS/SOS Program