Kirstin Peters, Uwe Nestmann

Mixed choice is a widely-used primitive in process calculi. It is interesting, as it allows to break symmetries in distributed process networks. We present an encoding of mixed choice in the context of the pi-calculus and investigate to what extent it can be considered “good”. As a crucial novelty, we introduce a suitable criterion to measure whether the degree of distribution in process networks is preserved.

Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science 7213, pages 210-224, .
Lars Birkedal (eds.), Springer Berlin Heidelberg
@incollection{mixedchoice-lncs7213,
Author = {Peters, Kirstin and Nestmann, Uwe},
Booktitle = {Foundations of Software Science and Computational Structures},
Doi = {10.1007/978-3-642-28729-9_14},
Editor = {Birkedal, Lars},
Isbn = {978-3-642-28728-2},
Pages = {210--224},
Publisher = {Springer Berlin Heidelberg},
Series = {LNCS},
Title = {Is It a ``Good'' Encoding of Mixed Choice?},
Url = {http://link.springer.com/chapter/10.1007/978-3-642-28729-9_14},
Volume = 7213,
Year = 2012}

Tags:
    

Publication

Is It a “Good” Encoding of Mixed Choice?

— status

published  

— authors

Kirstin Peters, Uwe Nestmann

— editors

Lars Birkedal

URLs & IDs

original page

— DOI

10.1007/978-3-642-28729-9_14

— print ISBN

978-3-642-28728-2

BibTeX

— BibTeX ID
mixedchoice-lncs7213
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY