Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types

Luca Ciccone, Luca Padovani

Many properties of communication protocols combine safety and liveness aspects. Characterizing such combined properties by means of a single inference system is difficult because o…