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 Sammelwerk2000Informatik
Titel:
A graph rewriting semantics for the polyadic pi-calculus
Autor(in):
König, BarbaraLSF
Erscheinungsjahr
2000
WWW URL
Erschienen in:
Titel:
Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2000)
Verlag
Carleton Scientific
Erscheinungsjahr
2000
in:
S. 451 - 458

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.