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

From MaRDI portal
Publication:5043586