Gå direkte til innholdet
Models of Sharing Graphs
Spar

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.
Undertittel
A Categorical Semantics of let and letrec
Opplag
Softcover reprint of the original 1st ed. 1999
ISBN
9781447112211
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
8.10.2011
Antall sider
134