ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
advertisementadvertisement
Information Processing Letters
Volume 60, Issue 3, 11 November 1996, Pages 109-114
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (552 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/S0020-0190(96)00150-0    How to Cite or Link Using DOI (Opens New Window)
Copyright © 1996 Published by Elsevier Science B.V.

Transitive term graph rewriting

R. BanachE-mail The Corresponding Author

Computer Science Department, Manchester University, Manchester, M13 9PL, United Kingdom

Received 5 March 1996; 
revised 24 September 1996. 
Communicated by C. Morgan 
Available online 16 February 1999.

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

A version of generalised term graph rewriting is presented in which redirections are interpreted transitively. It is shown that the new semantics enjoy enhanced properties regarding ease of implementation on distributed machines compared with conventional semantics because of the Church-Rosser properties of transitive redirections. Furthermore, the good properties of orthogonal systems are largely retained.

Author Keywords: Distributed computing; Programming languages; Term graph rewriting; Transitive redirections; Packet store rewriting; DACTL; MONSTR

Article Outline

• References

Information Processing Letters
Volume 60, Issue 3, 11 November 1996, Pages 109-114
 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.