D. Hashimoto

This work introduces a novel functional-style concurrent programming language called Categorical Message Passing Language (CaMPL), designed using the mathematics of linear actegories, which gives CaMPL programs useful properties such as deadlock freedom and livelock freedom for programs without general recursive processes.