Models of Sharing Graphs

A sound mathematical basis for reasoning about models of computation involving shared resources. An algebraic approach enables the author to describe several aspects of the notion of sharing in a systematic way, most notably an account of recursive computation created from cyclic sharing.

---

This work presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory. An algebraic approach, based on the language of category theory, is taken throughout this work, which enables the author to describe several aspects of the notion of sharing in a systematic way. In particular, an account of recursive computation created from cyclic sharing is developed using this framework.