Title: Semantics for Non-Determinism in Categorical Message Passing Language
Abstract: Categorical Message Passing Language (CaMPL) is a functional style concurrent programming language with a categorical semantics. In this talk, we explore the categorical semantics, programming syntax, and proof theory representations for CaMPL. This includes the sequential functions with input and output values (which become messages), concurrent processes, communication channels, message passing along channels between processes, and races which introduce non-determinism in CaMPL.
Slides: https://www.dropbox.com/s/8rcwzh6lm9j41qt/Calgary_Peripatetic_Seminar_2023-08-02_Little.pdf?dl=0
