Ambient Graph Rewriting

Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi
2005 Electronical Notes in Theoretical Computer Science  
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 framework. The encodings are bisimulations. A tool for supporting distributed system design and analysis is presented. The tool, which adopts the
more » ... nder SHR as intermediate language, integrates model checking techniques within the framework of (distributed) program development.
doi:10.1016/j.entcs.2004.06.017 fatcat:higxrgcfkvc5ldekrtccg3fuzu