Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols

Alex C. Keizer, Henning Basold, Jorge A. Pérez

Compositional methods are central to the development and verification of software systems. They allow to break down large systems into smaller components, while enabling reasoning…