Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming.

Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab

Browse the full Coordination paper archive.