2026-07-21T23:33:28Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4582 2024-03-06T10:29:34Z ddc:004 open_access

Structural Rewriting in the pi-Calculus Sabel, David Process calculi Rewriting Semantics We consider reduction in the synchronous pi-calculus with replication, without sums. Usual definitions of reduction in the pi-calculus use a closure w.r.t. structural congruence of processes. In this paper we operationalize structural congruence by providing a reduction relation for pi-processes which also performs necessary structural conversions explicitly by rewrite rules. As we show, a subset of structural congruence axioms is sufficient. We show that our rewrite strategy is equivalent to the usual strategy including structural congruence w.r.t.the observation of barbs and thus w.r.t. may- and should-testing equivalence in the pi-calculus. Schloss Dagstuhl – Leibniz-Zentrum für Informatik David Sabel 2014 Is Part Of OASIcs, Volume 40, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (2014) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WPTE.2014.51 urn:nbn:de:0030-drops-45827 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2014.51 eng https://creativecommons.org/licenses/by/3.0/legalcode