Items related to Models of Sharing Graphs: A Categorical Semantics of...
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2011
- ISBN 10 1447108663
- ISBN 13 9781447108665
- BindingPaperback
- LanguageEnglish
- Number of pages152
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
