Models of Sharing Graphs
Produktnummer:
18c8146c0412744ab8a40fd778b7162a46
| Autor: | Hasegawa, Masahito |
|---|---|
| Themengebiete: | Mathematica Notation algebra category theory computation equation graph graph rewriting graphs logic |
| Veröffentlichungsdatum: | 08.10.2011 |
| EAN: | 9781447112211 |
| Sprache: | Englisch |
| Seitenzahl: | 134 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer London |
| Untertitel: | A Categorical Semantics of let and letrec |
Produktinformationen "Models of Sharing Graphs"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen