2026-07-23T16:35:42Z https://drops.dagstuhl.de/oai

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

Observing Success in the Pi-Calculus Sabel, David Schmidt-Schauß, Manfred Concurrency Process calculi Pi-calculus Rewriting Semantics A contextual semantics - defined in terms of successful termination and may- and should-convergence - is analyzed in the synchronous pi-calculus with replication and a constant Stop to denote success. The contextual ordering is analyzed, some nontrivial process equivalences are proved, and proof tools for showing contextual equivalences are provided. Among them are a context lemma and new notions of sound applicative similarities for may- and should-convergence. A further result is that contextual equivalence in the pi-calculus with Stop conservatively extends barbed testing equivalence in the (Stop-free) pi-calculus and thus results on contextual equivalence can be transferred to the (Stop-free) pi-calculus with barbed testing equivalence. Schloss Dagstuhl – Leibniz-Zentrum für Informatik David Sabel and Manfred Schmidt-Schauß 2015 Is Part Of OASIcs, Volume 46, 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WPTE.2015.31 urn:nbn:de:0030-drops-51808 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2015.31 eng https://creativecommons.org/licenses/by/3.0/legalcode