Cockett, RobinYeasin, Masuka2012-12-142013-06-152012-12-142012http://hdl.handle.net/11023/356In concurrent programming, message passing along channels plays a key role. This is a form of communication between two processes in which messages can be sent in both directions. To ensure the coherent sequencing of receiving and sending messages the communications on such a channel are goverened by a “protocol”. In this thesis, the categorical semantics of protocols for the message passing logic (introduced by Cockett and Pastro) is introduced. A special class of protocols, built on linear functors, is investigated and it is shown that these protocols naturally form linear functors.engUniversity of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.Computer Sciencethesismaster thesis10.11575/PRISM/26768