Models of Sharing Graphs 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, a novel account of recursive
computation created from cyclic sharing is developed using this
framework.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!