<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "An Algebra of Hierarchical Graphs and its Application to Structural Encoding"^^ . "We define an algebraic theory of hierarchical graphs, whose axioms\r\ncharacterise graph isomorphism: two terms are equated exactly when\r\nthey represent the same graph. Our algebra can be understood as\r\na high-level language for describing graphs with a node-sharing, embedding\r\nstructure, and it is then well suited for defining graphical\r\nrepresentations of software models where nesting and linking are key\r\naspects. In particular, we propose the use of our graph formalism as a\r\nconvenient way to describe configurations in process calculi equipped\r\nwith inherently hierarchical features such as sessions, locations, transactions,\r\nmembranes or ambients. The graph syntax can be seen as an\r\nintermediate representation language, that facilitates the encodings of\r\nalgebraic specifications, since it provides primitives for nesting, name\r\nrestriction and parallel composition. In addition, proving soundness\r\nand correctness of an encoding (i.e. proving that structurally equivalent\r\nprocesses are mapped to isomorphic graphs) becomes easier as it can\r\nbe done by induction over the graph syntax."^^ . "2010" . . "20" . . "\"Alexandru Ioan Cuza\" University of Iaşi"^^ . . . "Scientific Annals in Computer Science"^^ . . . "18438121" . . . . . . . . . . . . . "Roberto"^^ . "Bruni"^^ . "Roberto Bruni"^^ . . "Fabio"^^ . "Gadducci"^^ . "Fabio Gadducci"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . . . . . "An Algebra of Hierarchical Graphs and its Application to Structural Encoding (PDF)"^^ . . . . . . . . . . . . . . "bruni_gadducci_lluch-lafuente2010c.pdf"^^ . . . "An Algebra of Hierarchical Graphs and its Application to Structural Encoding (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "An Algebra of Hierarchical Graphs and its Application to Structural Encoding (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #145 \n\nAn Algebra of Hierarchical Graphs and its Application to Structural Encoding\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .