Browsing by Subject "Term graph rewriting (TGR) system"
Now showing items 1-1 of 1
-
Conference Object
Linear behaviour of term graph rewriting programs
(ACM, 1995)The generalized term graph rewriting computational model is exploited to implement concurrent languages based on Girard's Linear Logic (LL). In particular a fragment of LL is identified which is able to serve as a `process ...