عنوان
پدید آورنده
موضوع
رده
QA76.7 B963 1999
QA76
.
7
B963
1999
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1447108655
(Number (ISBN
1447112210
(Number (ISBN
9781447108658
(Number (ISBN
9781447112211
NATIONAL BIBLIOGRAPHY NUMBER
Number
b539470
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Models of Sharing Graphs :
General Material Designation
[Book]
Other Title Information
a Categorical Semantics of let and letrec
First Statement of Responsibility
by Masahito Hasegawa.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Springer London
Date of Publication, Distribution, etc.
1999
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(XII, 134 pages)
SERIES
Series Title
Distinguished Dissertations.
CONTENTS NOTE
Text of Note
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.
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Computer science.
Computer software.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
7
Book number
B963
1999
PERSONAL NAME - PRIMARY RESPONSIBILITY
by Masahito Hasegawa.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Masahito Hasegawa
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
