Abstract
Binary session types can be used to describe communication protocols, and to ensure a variety of properties, e.g. deadlock freedom, liveness, or secure information flow. Session type systems are often formulated for variants of the \(\pi \)-calculus, and for each such system, the central properties such as session fidelity must be re-established.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have