## Ambient Graph Rewriting

- Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi
- Electr. Notes Theor. Comput. Sci.
- 2005

3 Excerpts

(versione 4) We introduce the Synchronised Hyperedge Environment, SHE, a tool for developing, analysing and automatically verifying distributed and concurrent systems. SHE supports a visual, declarative style of programming based on a graph rewrite system called Synchronising Graphs (SG) [3, 4], a general semantical framework which has been used for interpreting various process calculi, such as Mobile Ambients, the distributed CCS and Fusion. After describing the system’s architecture, we develop two applications: The first offers a simple declarative solution to the problem of syntactic unification, and shows how flexible the system is in supporting both textual and graphical representation of data. The second example is a classical problem in distributed programming: the leader election. The proposed solution is proven correct both by a mathematical proof and by automatic verification through model

@inproceedings{TalamoTheSH,
title={The Synchronised Hyperedge Environment},
author={Ivano Talamo and Alessandro Tiberi and Pietro Cenciarelli}
}