License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WPTE.2015.31
URN: urn:nbn:de:0030-drops-51808
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5180/
Go to the corresponding OASIcs Volume Portal

Sabel, David ; Schmidt-Schauß, Manfred

Observing Success in the Pi-Calculus

pdf-format:
6.pdf (0.6 MB)

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.

BibTeX - Entry

@InProceedings{sabel_et_al:OASIcs:2015:5180,
  author =	{David Sabel and Manfred Schmidt-Schau{\ss}},
  title =	{{Observing Success in the Pi-Calculus}},
  booktitle =	{2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)},
  pages =	{31--46},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-94-1},
  ISSN =	{2190-6807},
  year =	{2015},
  volume =	{46},
  editor =	{Yuki Chiba and Santiago Escobar and Naoki Nishida and David Sabel and Manfred Schmidt-Schau{\ss}},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5180},
  URN =		{urn:nbn:de:0030-drops-51808},
  doi =		{10.4230/OASIcs.WPTE.2015.31},
  annote =	{Keywords: Concurrency, Process calculi, Pi-calculus, Rewriting, Semantics}
}

Keywords: Concurrency, Process calculi, Pi-calculus, Rewriting, Semantics
Collection: 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)
Issue Date: 2015
Date of publication: 17.06.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI