Ambient Graph Rewriting

Abstract

We investigate synchronized hyperedge replacement (SHR) as general framework for distributed programming and system design. We propose a slender version of SHR which dramaticaly reduces the mathematical overhead of the original proposal [5] and use it to interpret the distributed CCS [7] and the calculus of Mobile Ambients [1] in a uniform semantic… (More)
DOI: 10.1016/j.entcs.2004.06.017

Topics

6 Figures and Tables

Slides referencing similar topics