Models of Sharing Graphs

Masahito Hasegawa

ISBN 10: 1447112210 / ISBN 13: 9781447112211

Published by Springer London Okt 2011, 2011

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 152 pp. Englisch.

Seller Inventory # 9781447112211

Bibliographic Details

• Title: Models of Sharing Graphs
• Publisher: Springer London Okt 2011
• Publication Date: 2011
• Language: English
• ISBN 10: 1447112210
• ISBN 13: 9781447112211
• Binding: Taschenbuch
• Condition: Neu

About this title

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.