Items related to Models of Sharing Graphs: A Categorical Semantics of...
Models of Sharing Graphs: A Categorical Semantics of Let and Letrec (Distinguished Dissertations) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Product Description
Models Of Sharing Graphs: A Categorical Semantics Of Let And Letrec by Hasegawa,M., 9781852331450, Springer
"About this title" may belong to another edition of this title.
Search results for Models of Sharing Graphs: A Categorical Semantics of...
Stock Image
Models of Sharing Graphs: A Categorical Semantics of Let and Letrec
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9781852331450. Seller Inventory # 9863769
Buy Used
£ 11.40
£ 13.04 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations).
Seller: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. 146 p. In very good condition. ISBN: 9781852331450 Sprache: Englisch Gewicht in Gramm: 378 16,5 x 1,9 x 24,8 cm, hardcover. Seller Inventory # 59262