Tallenna
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.
- Alaotsikko
- A Categorical Semantics of let and letrec
- Kirjailija
- Masahito Hasegawa
- Painos
- Softcover reprint of the original 1st ed. 1999
- ISBN
- 9781447112211
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 8.10.2011
- Kustantaja
- Springer London Ltd
- Sivumäärä
- 134
