• Conference Object  

      Linear behaviour of term graph rewriting programs 

      Banach, Richard; Papadopoulos, George Angelos (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 ...