Wonder Club world wonders pyramid logo
×

Models of Sharing Graphs: A Categorical Semantics of let and letrec Book

Models of Sharing Graphs: A Categorical Semantics of let and letrec
Be the First to Review this Item at Wonderclub
X
Models of Sharing Graphs: A Categorical Semantics of let and letrec, 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 langua, Models of Sharing Graphs: A Categorical Semantics of let and letrec
out of 5 stars based on 0 reviews
5
0 %
4
0 %
3
0 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Models of Sharing Graphs: A Categorical Semantics of let and letrec
  • Written by author Masahito Hasegawa
  • Published by Springer-Verlag New York, LLC, 7/31/2012
  • 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 langua
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

Introduction.- Sharing Graphs and Equational Presentation.- Models of Acyclic Sharing Theroy.- Higher Order Extension.- Relating Models.- Models of Cyclic Sharing Theory.- Recursion from Cyclic Sharing.- Action Calculi.- Conclusion.- Proofs.- Bibliography.- Index.


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

Models of Sharing Graphs: A Categorical Semantics of let and letrec, 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 langua, Models of Sharing Graphs: A Categorical Semantics of let and letrec

X
WonderClub Home

This item is in your Collection

Models of Sharing Graphs: A Categorical Semantics of let and letrec, 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 langua, Models of Sharing Graphs: A Categorical Semantics of let and letrec

Models of Sharing Graphs: A Categorical Semantics of let and letrec

X
WonderClub Home

This Item is in Your Inventory

Models of Sharing Graphs: A Categorical Semantics of let and letrec, 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 langua, Models of Sharing Graphs: A Categorical Semantics of let and letrec

Models of Sharing Graphs: A Categorical Semantics of let and letrec

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: