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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerAnbieter: Buchpark, Trebbin, Deutschland
Zustand: Gut. Zustand: Gut | Seiten: 134 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 661/203
Anzahl: 1 verfügbar
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Zustand: 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. Artikel-Nr. 9863769
Anzahl: 1 verfügbar
Anbieter: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Deutschland
Zustand: 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. Artikel-Nr. 59262
Anzahl: 1 verfügbar