Publisher: Springer; Softcover reprint of the original 1st ed. 1999 edition (January 1, 1999)
Format: PDF / Kindle / ePub
Size: 8.7 MB
Downloadable formats: PDF
versions of Sharing Graphs provides a legitimate mathematical foundation for reasoning approximately types of computation regarding shared assets, together with graph rewriting platforms, denotational semantics and concurrency concept. An algebraic technique, in response to the language of class concept, is taken all through this paintings, which allows the writer to explain a number of points of the inspiration of sharing in a scientific manner. specifically, a unique account of recursive computation made out of cyclic sharing is constructed utilizing this framework.