|
" Models of Sharing Graphs : "
by Masahito Hasegawa.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
719777
|
| Doc. No
|
:
|
b539470
|
| Main Entry
|
:
|
by Masahito Hasegawa.
|
| Title & Author
|
:
|
Models of Sharing Graphs : : a Categorical Semantics of let and letrec\ by Masahito Hasegawa.
|
| Publication Statement
|
:
|
London: Springer London, 1999
|
| Series Statement
|
:
|
Distinguished Dissertations.
|
| Page. NO
|
:
|
(XII, 134 pages)
|
| ISBN
|
:
|
1447108655
|
|
|
:
|
: 1447112210
|
|
|
:
|
: 9781447108658
|
|
|
:
|
: 9781447112211
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Computer software.
|
| LC Classification
|
:
|
QA76.7B963 1999
|
| Added Entry
|
:
|
Masahito Hasegawa
|
| |