eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2015-06-17
31
46
10.4230/OASIcs.WPTE.2015.31
article
Observing Success in the Pi-Calculus
Sabel, David
Schmidt-Schauß, Manfred
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.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol046_wpte2015/OASIcs.WPTE.2015.31/OASIcs.WPTE.2015.31.pdf
Concurrency
Process calculi
Pi-calculus
Rewriting
Semantics