Models of Sharing Graphs Image close
Models of Sharing Graphs by Masahito Hasegawa
Models of Sharing Graphs by Masahito Hasegawa
Show Hide Adult Content
Models of Sharing Graphs close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Algorithms & procedures

Models of Sharing Graphs

A Categorical Semantics of let and letrec
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$135.99
RRP:
$248.95 save $112.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 4-14 June using International Courier

Explore more Distinguished Dissertations

See all products in this series

Theorem Proving with the Real Numbers by John Harrison
$264.99
Theorem Proving with the Real Numbers
by John Harrison ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Strength or Accuracy: Credit Assignment in Learning Classifier Systems by Tim Kovacs
$408.99
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
by Tim Kovacs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Games and Full Abstraction for a Functional Metalanguage with Recursive Types on Hardback by Guy McCusker
$240.99
Games and Full Abstraction for a Functional Metalanguage with...
by Guy McCusker ~ Hardback
Available - Usually ships in 3-4 weeks
Stochastic Algorithms for Visual Tracking by John MacCormick
$264.99
Stochastic Algorithms for Visual Tracking
by John MacCormick ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Randomized Algorithms: Approximation, Generation, and Counting by Russ Bubley
$264.99
Randomized Algorithms: Approximation, Generation, and Counting
by Russ Bubley ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Asynchronous System-on-Chip Interconnect by John Bainbridge Save $72
$135.99
$208.95
Asynchronous System-on-Chip Interconnect
by John Bainbridge ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Games and Full Abstraction for a Functional Metalanguage with Recursive Types by Guy McCusker Save $51
$135.99
$187.95
Games and Full Abstraction for a Functional Metalanguage with...
by Guy McCusker ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Strength or Accuracy: Credit Assignment in Learning Classifier Systems on Hardback by Tim Kovacs
$408.99
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
by Tim Kovacs ~ Hardback
Available - Usually ships in 3-4 weeks
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia by Jacques Fleuriot
$264.99
A Combination of Geometry Theorem Proving and Nonstandard Analysis...
by Jacques Fleuriot ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Accurate Visual Metrology from Single and Multiple Uncalibrated Images by Antonio Criminisi Save $51
$264.99
$316.95
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
by Antonio Criminisi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
User-Developer Cooperation in Software Development by Eamonn O'Neill
$265.99
User-Developer Cooperation in Software Development
by Eamonn O'Neill ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Inheritance Relationships for Disciplined Software Construction on Hardback by Tracy A. Gardner
$239.99
Inheritance Relationships for Disciplined Software Construction
by Tracy A. Gardner ~ Hardback
Available - Usually ships in 3-4 weeks
Image Mosaicing and Super-resolution by David Capel Save $37
$264.99
$302.95
Image Mosaicing and Super-resolution
by David Capel ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Automated Theory Formation in Pure Mathematics on Hardback by Simon Colton Save $69
$286.99
$356.95
Automated Theory Formation in Pure Mathematics
by Simon Colton ~ Hardback
Available - Usually ships in 3-4 weeks
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning by Ian Miguel Save $35
$266.99
$302.95
Dynamic Flexible Constraint Satisfaction and its Application to AI...
by Ian Miguel ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Hardware Evolution by Adrian Thompson
$264.99
Hardware Evolution
by Adrian Thompson ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
October 8th, 2011
Audience
  • Professional & Vocational
Edition
Softcover reprint of the original 1st ed. 1999
Illustrations
XII, 134 p.
Pages
134
Dimensions
156x234x8
ISBN-13
9781447112211
Product ID
20730804

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers