Observing Success in the Pi-Calculus

Sabel, David; Schmidt-Schauß, Manfred

doi:10.4230/OASIcs.WPTE.2015.31

Document

Observing Success in the Pi-Calculus

Authors David Sabel, Manfred Schmidt-Schauß

Part of: Volume: 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)
Part of: Series: Open Access Series in Informatics (OASIcs)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2015-06-17

PDF

File

PDF

OASIcs.WPTE.2015.31.pdf

Filesize: 0.57 MB
16 pages

Document Identifiers

DOI: 10.4230/OASIcs.WPTE.2015.31
URN: urn:nbn:de:0030-drops-51808

Subject Classification

Keywords

Concurrency
Process calculi
Pi-calculus
Rewriting
Semantics

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

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.

Cite As Get BibTex

David Sabel and Manfred Schmidt-Schauß. Observing Success in the Pi-Calculus. In 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015). Open Access Series in Informatics (OASIcs), Volume 46, pp. 31-46, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015) https://doi.org/10.4230/OASIcs.WPTE.2015.31

Author Details

David Sabel

Manfred Schmidt-Schauß

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail