Linear Functors and their Fixed Points

Files
ucalgary_2012_yeasin_masuka.pdf (2.41 MB)
Date
2012-12-14
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
In 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.
Description
Keywords
Computer Science
Citation
Yeasin, M. (2012). Linear Functors and their Fixed Points (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/26768
URI
http://hdl.handle.net/11023/356
Collections
Open Theses and Dissertations