2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Luca Ciccone
Sessions are a fundamental notion in message-passing systems. A session is an abstract notion of communication between parties where each one owns an endpoint. Session types are ty…