Models of Sharing Graphs
Masahito Hasegawa
€ 65.53
FREE Delivery in Ireland
Description for Models of Sharing Graphs
Paperback. Series: Distinguished Dissertations. Num Pages: 134 pages, biography. BIC Classification: UMB; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 241.
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.
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.
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer London Ltd United Kingdom
Number of pages
134
Condition
New
Series
Distinguished Dissertations
Number of Pages
134
Place of Publication
England, United Kingdom
ISBN
9781447112211
SKU
V9781447112211
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Models of Sharing Graphs