König, Barbara:
A graph rewriting semantics for the polyadic pi-calculus
In: Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2000) - Carleton Scientific, 2000, S. 451 - 458
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
A graph rewriting semantics for the polyadic pi-calculus
Autor(in):
König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr
2000
Erschienen in:
Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2000) - Carleton Scientific, 2000, S. 451 - 458
WWW URL

Abstract:

We give a hypergraph rewriting semantics for the polyadic pi-calculus, based on rewriting rules equivalent to those in the double-pushout approach. The structural congruence of the pi-calculus is replaced by hypergraph isomorphism. The correctness of the encoding from the graph-based notation into pi-calculus can be shown by using an intermediate notation, so-called name-based graph terms.