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

Alex C. Keizer, Henning Basold, Jorge A. Prez

Browse the full ESOP paper archive.