书目名称 | Models of Sharing Graphs | 副标题 | A Categorical Semant | 编辑 | Masahito Hasegawa | 视频video | | 丛书名称 | Distinguished Dissertations | 图书封面 |  | 描述 | .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. | 出版日期 | Book 1999 | 关键词 | Mathematica; Notation; algebra; category theory; computation; equation; graph; graph rewriting; graphs; logic | 版次 | 1 | doi | https://doi.org/10.1007/978-1-4471-0865-8 | isbn_softcover | 978-1-4471-1221-1 | isbn_ebook | 978-1-4471-0865-8 | copyright | Springer-Verlag London Limited 1999 |
The information of publication is updating
|
|